# Sh:554

• Goldstern, M., & Shelah, S. (1997). A partial order where all monotone maps are definable. Fund. Math., 152(3), 255–265.
• 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.
• published version (11p)
Bib entry
@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}
}