A Partial Order Where All Monotone Maps Are Definable

1997/07/16 by Goldstern, Martin, Shelah, Saharon
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.math/9707202

Abstract

It is consistent that there is a partial order (P,

Related

• Algebraic duality for partially ordered sets
• A nonstandard proof for Szpilrajn's theorem
• On naturally labelled posets and permutations avoiding 12-34
• Infinite saturated orders
• Provably well-founded strict partial orders