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