#### Filter Results:

- Full text PDF available (3)

#### Publication Year

2012

2017

- This year (1)
- Last 5 years (4)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Emanuele Frittaion, Alberto Marcone
- Ann. Pure Appl. Logic
- 2014

In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of the initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a… (More)

- Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
- Arch. Math. Log.
- 2016

- Emanuele Frittaion, Alberto Marcone
- Math. Log. Q.
- 2012

We introduce the notion of τ -like partial order, where τ is one of the linear order types ω, ω∗, ω + ω∗, and ζ. For example, being ω-like means that every element has finitely many predecessors, while being ζ-like means that every interval is finite. We consider statements of the form “any τ -like partial order has a τ -like linear extension” and “any τ… (More)

- Emanuele Frittaion, Silvia Steila, Keita Yokoyama
- TAMC
- 2017

We undertake the study of size-change analysis in the context of Reverse Mathematics. In particular, we prove that the SCT criterion [9, Theorem 4] is equivalent to IΣ 2 over RCA0.

- ‹
- 1
- ›