LINEAR EXTENSIONS OF PARTIAL ORDERS AND REVERSE MATHEMATICS EMANUELE FRITTAION AND ALBERTO MARCONE Abstract. We introduce the notion of τ -like partial order, where τ is one of the linear order types ω, ω ∗ , ω - Wellfoundedness - Document - PDFSEARCH.IO

First Page	Meta Content
	LINEAR EXTENSIONS OF PARTIAL ORDERS AND REVERSE MATHEMATICS EMANUELE FRITTAION AND ALBERTO MARCONE Abstract. We introduce the notion of τ -like partial order, where τ is one of the linear order types ω, ω ∗ , ω + Add to Reading List Document Date: 2015-07-05 17:59:22 Open Document File Size: 270,23 KB Share Result on Facebook

LINEAR EXTENSIONS OF PARTIAL ORDERS AND REVERSE MATHEMATICS EMANUELE FRITTAION AND ALBERTO MARCONE Abstract. We introduce the notion of τ -like partial order, where τ is one of the linear order types ω, ω ∗ , ω + Add to Reading List