A Partial Order Where All Monotone Maps Are Definable

by Goldstern and Shelah. [GoSh:554]
Fundamenta Math, 1997
We show the consistency of ``There is a p.o. of size continuum on which all monotone maps are first order definable''. The continuum can be aleph_1 or larger, and we may even have Martin's axiom.


Back to the list of publications