Sh:554

• Goldstern, M., & Shelah, S. (1997). A partial order where all monotone maps are definable. Fund. Math., 152(3), 255–265. arXiv: math/9707202 DOI: 10.4064/fm-152-3-255-265 MR: 1444716
• Abstract:
  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.
• Version 1997-03-12_11 (10p) published version (11p)

@article{Sh:554,
 author = {Goldstern, Martin and Shelah, Saharon},
 title = {{A partial order where all monotone maps are definable}},
 journal = {Fund. Math.},
 fjournal = {Fundamenta Mathematicae},
 volume = {152},
 number = {3},
 year = {1997},
 pages = {255--265},
 issn = {0016-2736},
 mrnumber = {1444716},
 mrclass = {03C30 (03C50 03E35 06A06)},
 doi = {10.4064/fm-152-3-255-265},
 note = {\href{https://arxiv.org/abs/math/9707202}{arXiv: math/9707202}},
 arxiv_number = {math/9707202}
}