Models of Peano arithmetic and a question of Sikorski on ordered fields
type: Item
instance of: scholarly article
title: Models of Peano arithmetic and a question of Sikorski on ordered fields
zbMATH Open document ID: 0577.03016
DOI: 10.1007/BF02761121
author: James H. Schmerl
published in: Israel Journal of Mathematics
publication date: 1985-01-01T00:00:00Z
review text: Let \(\kappa\) be a regular cardinal. An ordered field F is said to have the Bolzano-Weierstrass property for \(\kappa\)-sequences (briefly: F is BW(\(\kappa)\)) if every bounded \(\kappa\)-sequence has a convergent \(\kappa\)-subsequence. \textit{R. Sikorski} [C.R. Soc. Sci. Lett. Varsovie, Cl. III 41, 69-96 (1950; Zbl 0039.276)] asked about the existence of BW(\(\kappa)\) fields F where \(| F| >\kappa >\aleph_ o\). Some results had been obtained by \textit{L. Manevitz} and \textit{A. W. Miller} [Isr. J. Math. 45, 209-218 (1983; Zbl 0526.03017)], \textit{S. B. Todorčević} [Ann. Math. Logic 20, 233-268 (1981; Zbl 0469.03036)] and \textit{D. J. Velleman} [Ann. Math. Logic 23, 199-281 (1982; Zbl 0521.03034)], including the result that for all regular \(\kappa >\aleph_ o\) there were such fields, assuming \(V=L\). \textit{J. Cowles} and \textit{R. LaGrange} [Notre Dame J. Formal Logic 24, 133-140 (1983; Zbl 0488.03027)] observed that the existence of such a field implies the existence of a \(\kappa\)-Kurepa tree with no \(\kappa\)-Aronszajn subtrees. The main result of this paper, proved using models of Peano Arithmetic, is a converse to this. Specifically, it is Theorem: If \(\lambda \geq \kappa >\aleph_ o\) are cardinals with \(\kappa\) regular, then there is a real-closed BW(\(\kappa)\) field of cardinality \(\lambda\) iff there is a \(\kappa\)-tree having exactly \(\lambda\) branches but no \(\kappa\)-Aronszajn subtree.
Mathematics Subject Classification ID: 03C65
Mathematics Subject Classification ID: 03E50
Mathematics Subject Classification ID: 12J15
Mathematics Subject Classification ID: 12L12
Mathematics Subject Classification ID: 03H15
zbMATH DE Number: 3922630
zbMATH Keywords: Aronszajn tree
zbMATH Keywords: Bolzano-Weierstrass property
zbMATH Keywords: Kurepa tree
MaRDI profile type: Publication
cites work: Model theoretic algebra. Selected topics
cites work: Generalized Archimedean fields and logics with Malitz quantifiers
cites work: Generalized Archimedean fields
cites work: Order types, trees, and a problem of Erdős and Hajnal
cites work: The combinatorial principle ⋄#
cites work: A new construction of a Kurepa tree with no Aronszajn subtree
cites work: On a problem of Sikorski
cites work: A Rather Classless Model
cites work: Q4777284
cites work: Q5331471
cites work: Lindelöf models of the reals: solution to a problem of Sikorski
cites work: Peano models with many generic classes
cites work: Correction to ''Peano models with many generic classes''
cites work: Q3922684
cites work: Q5582321
cites work: Models with second order properties II. Trees with no undefined branches
cites work: Q5798873
cites work: Q5800415
cites work: Remarks on some topological spaces of high power
cites work: Q5668480
cites work: Trees, subtrees and order types
cites work: Morasses, diamond, and forcing
full work available at URL: https://doi.org/10.1007/bf02761121
OpenAlex ID: W2067381783
description: scientific article; zbMATH DE number 3922630