#### Filter Results:

#### Publication Year

2012

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### 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 car-dinality 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… (More)

- 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Σ 0 2 over RCA 0 .

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

- ‹
- 1
- ›