×

zbMATH — the first resource for mathematics

The real line in elementary submodels of set theory. (English) Zbl 0960.03033
From the text: The use of elementary submodels has become a standard tool in set-theoretic topology and infinitary combinatorics. Thus, in studying some combinatorial objects, one embeds them in a set, \(M\), which is an elementary submodel of the universe, \(V\) (that is, \((M;\in)\prec (V;\in))\). Applying the downward Löwenheim-Skolem Theorem, one can bound the cardinality of \(M\). This tool enables one to capture various complicated closure arguments within the simple “\(\prec\)”.
However, in this paper, as in the paper “The topology of elementary submodels” [L. R. Junqueira and F. D. Tall, Topology Appl. 82, No. 1-3, 239-266 (1998; Zbl 0903.54002)], we study the tool for its own sake. Junqueira and Tall discussed various general properties of topological spaces in elementary submodels. In this paper, we specialize this consideration to the space of real numbers, \(\mathbb{R}\). Our models \(M\) are not in general transitive. We will always have \(\mathbb{R}\in M\), but not usually \(\mathbb{R}\subseteq M\). We plan to study properties of the \(\mathbb{R}\cap M\)’s. In particular, as \(M\) varies, we wish to study whether any two of these \(\mathbb{R}\cap M\)’s are isomorphic as topological spaces, linear orders, or fields.

MSC:
03C62 Models of arithmetic and set theory
54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces
03E55 Large cardinals
03C55 Set-theoretic model theory
06A05 Total orders
12L99 Connections between field theory and logic
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] DOI: 10.1007/978-94-009-7798-3_7 · doi:10.1007/978-94-009-7798-3_7
[2] Fundamenta Mathematicae 79 pp 101– (1973)
[3] DOI: 10.1007/BF02764858 · Zbl 0674.54004 · doi:10.1007/BF02764858
[4] DOI: 10.1016/0168-0072(84)90024-1 · Zbl 0585.03019 · doi:10.1016/0168-0072(84)90024-1
[5] DOI: 10.1090/conm/084/00 · doi:10.1090/conm/084/00
[6] Fundamenta Mathematicae 1 pp 11– (1920)
[7] Proper forcing 940 (1982)
[8] The higher infinite (1994)
[9] DOI: 10.1016/S0166-8641(97)00075-8 · Zbl 0903.54002 · doi:10.1016/S0166-8641(97)00075-8
[10] General topology (1989) · Zbl 0684.54001
[11] DOI: 10.1112/blms/19.4.305 · Zbl 0637.03051 · doi:10.1112/blms/19.4.305
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.