100 citations · 264 across the 34 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.LO2012★ 6 cited
Linear extensions of partial orders and Reverse Mathematics
Emanuele Frittaion, Alberto Marcone
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 pr…
math.LO2012★ 3 cited
Computing Maximal Chains
Alberto Marcone, Antonio Montalbán, Richard A. Shore
In 1967 Wolk proved that every well partial order (wpo) has a maximal chain; that is a chain of maximal order type. (Note that all chains in a wpo are well-ordered.) We prove that…