An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN
type: Item
instance of: scholarly article
title: An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN
zbMATH Open document ID: 1246.03066
author: Ali Enayat
author: S. Shelah
published in: Topology and its Applications
publication date: 2011-12-02T00:00:00Z
review text: For a subalgebra \(\mathcal{A}\subseteq\mathcal{P}(\omega)\) let \(\mathbb{P}_\mathcal{A}\) be the partial order obtained by reducing \((\mathcal{A},\subseteq)\) modulo the ideal of finite sets. We say that a subalgebra \(\mathcal{A}\) is arithmetically closed when it is closed under the Turing jump and the Turing reducibility. Results obtained by \textit{V. Gitman} in [``Scott's problem for proper Scott sets'', J. Symb. Log. 73, No. 3, 845--860 (2008; Zbl 1161.03024); ``Proper and piecewise proper families of reals'', Math. Log. Q. 55, No. 5, 542--550 (2009; Zbl 1181.03050)] motivate the question whether there is an arithmetically closed \(\mathcal{A}\) for which the poset \(\mathbb{P}_\mathcal{A}\) is not proper. This question was answered in the affirmative by \textit{A. Enayat} in [``A standard model of Peano arithmetic with no conservative elementary extension'', Ann. Pure Appl. Logic 156, No. 2--3, 308--318 (2008; Zbl 1156.03035)], using a highly nonconstructive reasoning that establishes the existence of an arithmetically closed \(\mathcal{A}\) of power \(\aleph_1\) such that \(\mathbb{P}_\mathcal{A}\) collapses \(\aleph_1\) (and is therefore not proper). He also posed the question whether \(\mathbb{P}_\mathcal{A}\) must be proper if \(\mathcal{A}\) is both arithmetically closed and Borel. In the paper under review the authors provide a strong negative answer to this question, proving the existence of an arithmetically closed Borel subalgebra \(\mathcal{A}\subseteq\mathcal{P}(\omega)\) such that \(\mathbb{P}_\mathcal{A}\) is equivalent to \(((2^{\aleph_0})^{<\omega},\subseteq)\), the usual partial order that collapses \(2^{\aleph_0}\) to \(\aleph_0\).
reviewed by: Jan Kraszewski
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03C55
Mathematics Subject Classification ID: 28A05
zbMATH DE Number: 5985547
zbMATH Keywords: forcing
zbMATH Keywords: Borel structure
zbMATH Keywords: tree indiscernible
zbMATH Keywords: completely separable family
MaRDI profile type: Publication
full work available at URL: j.topol.2011.08.006
OpenAlex ID: W2144856864
cites work: Q3679188
cites work: Q3391907
cites work: A standard model of Peano arithmetic with no conservative elementary extension
cites work: Separability properties of almost-disjoint families of sets
cites work: Scott's problem for Proper Scott sets
cites work: Proper and piecewise proper families of reals
cites work: Saturated Families
cites work: Borel Orderings
cites work: Classifying almost-disjoint families with applications to \(\beta N-N\)
cites work: Set Theory
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: Q3994998
cites work: Q5484945
cites work: Q4830329
cites work: Q4314767
cites work: Closure properties of countable non-standard integers
cites work: Q5557724
cites work: A Two-Cardinal Theorem
cites work: A Two-Cardinal Theorem and a Combinatorial Theorem
cites work: Classification theory and the number of non-isomorphic models.
cites work: Q4248070
cites work: MAD Saturated Families and SANE Player
cites work: Q4220572
cites work: Harvey Friedman's research on the foundations of mathematics
cites work: Descriptive set theory and definable forcing
DOI: 10.1016/J.TOPOL.2011.08.006
Recommended article: ON BOREL SETS MODULO A ϑ-IDEAL
Recommended article: Q3626585
Recommended article: Q2752106
Recommended article: Borel subalgebras of the Witt algebra
Recommended article: DEDEKIND COMPLETIONS OF BOUNDED ARCHIMEDEAN ℓ-ALGEBRAS
Recommended article: Borel reducibility and finitely Hölder\((\alpha)\) embeddability
Recommended article: The Σ-invariants of 𝑆-arithmetic subgroups of Borel groups
Recommended article: Borel subrings of the reals
Recommended article: Finite arithmetical affine complete algebras having no proper subalgebras
Recommended article: On the finitistic dimension of fixed subrings
description: scientific article; zbMATH DE number 5985547