The real line in elementary submodels of set theory

DOI10.2307/2586561zbMath0960.03033OpenAlexW1991083015MaRDI QIDQ4508253

Franklin D. Tall, Kenneth Kunen

Publication date: 14 January 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586561

zbMATH Keywords

fieldslinear orderstopological spacesorder-isomorphismelementary submodelsspace of real numbers

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Connections between field theory and logic (12L99) Large cardinals (03E55) Models of arithmetic and set theory (03C62) Total orders (06A05) Set-theoretic model theory (03C55)

Related Items (5)

Generic extensions of models of ZFC ⋮ On possible non-homeomorphic substructures of the real line ⋮ Unnamed Item ⋮ Kunen and set theory ⋮ Characterizing \(\omega_1\) and the long line by their topological elementary reflections

Cites Work

• On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types
• Countable dense homogeneous spaces under Martin's axiom
• The topology of elementary submodels
• Homeomorphisms of Manifolds with Prescribed Behaviour on Large Dense Sets
• Unnamed Item

This page was built for publication: The real line in elementary submodels of set theory