A partial order where all monotone maps are definable

• Autorzy: Martin Goldstern , Saharon Shelah
• Języki publikacji: EN

Abstrakty

EN

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

Kategorie tematyczne

• 03C50: Models with special properties (saturated, rigid, etc.)
• 03C30: Other model constructions
• 06A06: Partial order, general
• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 1997
• Tom: 152
• Numer: 3
• Strony: 255-265

Daty

wydano

1997

otrzymano

1996-02-26

poprawiono

1996-06-24

poprawiono

1997-02-26

Twórcy

autor

Martin Goldstern

• Technische Universität, Wiedner Hauptstrasse 8-10/118.2, A-1040 Wien, Austria,
• Current address: Mathematik WE 2 Freie Universität Arnimallee 3 D-14195 Berlin

autor

Saharon Shelah

• Hebrew University of Jerusalem, Givat Ram, 91094 Jerusalem, Israel,

Bibliografia

• [KS] H. Kaiser and N. Sauer, Order polynomially complete lattices, Algebra Universalis 130 (1993), 171-176.
• [Sh 128] S. Shelah, Uncountable constructions for B.A., e.c. groups and Banach spaces, Israel J. Math. 51 (1985), 273-297.
• [Sh 136] S. Shelah, Constructions of many complicated uncountable structures and Boolean algebras, Israel J. Math. 45 (1983), 100-146.