Emanuele Frittaion

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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)
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)
  • 1