A partial order where all monotone maps are definable

Martin Goldstern; Saharon Shelah

doi:10.4064/fm-152-3-255-265

A partial order where all monotone maps are definable

Martin Goldstern^*, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

It is consistent that there is a partial order (P, ≤) of size N₁ such that every monotone function f : P → P is first order definable in (P, ≤).

Original language	English
Pages (from-to)	255-265
Number of pages	11
Journal	Fundamenta Mathematicae
Volume	152
Issue number	3
DOIs	https://doi.org/10.4064/fm-152-3-255-265
State	Published - 1997

Access to Document

10.4064/fm-152-3-255-265

Cite this

@article{f4681fdc8a4f4d3089fe5c22babe8a9f,

title = "A partial order where all monotone maps are definable",

abstract = "It is consistent that there is a partial order (P, ≤) of size N1 such that every monotone function f : P → P is first order definable in (P, ≤).",

author = "Martin Goldstern and Saharon Shelah",

year = "1997",

doi = "10.4064/fm-152-3-255-265",

language = "אנגלית",

volume = "152",

pages = "255--265",

journal = "Fundamenta Mathematicae",

issn = "0016-2736",

publisher = "Instytut Matematyczny",

number = "3",

}

TY - JOUR

T1 - A partial order where all monotone maps are definable

AU - Goldstern, Martin

AU - Shelah, Saharon

PY - 1997

Y1 - 1997

N2 - It is consistent that there is a partial order (P, ≤) of size N1 such that every monotone function f : P → P is first order definable in (P, ≤).

AB - It is consistent that there is a partial order (P, ≤) of size N1 such that every monotone function f : P → P is first order definable in (P, ≤).

UR - http://www.scopus.com/inward/record.url?scp=0040516847&partnerID=8YFLogxK

U2 - 10.4064/fm-152-3-255-265

DO - 10.4064/fm-152-3-255-265

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0040516847

SN - 0016-2736

VL - 152

SP - 255

EP - 265

JO - Fundamenta Mathematicae

JF - Fundamenta Mathematicae

IS - 3

ER -

A partial order where all monotone maps are definable

Abstract

Access to Document

Other files and links

Fingerprint

Cite this