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…