Partition subalgebras for maximal almost disjoint families
type: Item
instance of: scholarly article
title: Partition subalgebras for maximal almost disjoint families
zbMATH Open document ID: 1018.03042
DOI: 10.1016/S0168-0072(01)00120-8
author: Alan Dow
author: Jinyuan Zhou
published in: Annals of Pure and Applied Logic
publication date: 2002-12-02T00:00:00Z
review text: Let \({\mathcal M}\) be a maximal almost disjoint family on \(\omega\). A partitioner of \({\mathcal M}\) is a set \(A\subseteq\omega\) such that the sets \({\mathcal X}=\{M\in {\mathcal M}:M \subseteq^*A\}\) and \({\mathcal Y}=\{M\in {\mathcal M}:M\cap A=^* \emptyset\}\) form a partition of \({\mathcal M}\). The set of all partitioners of \({\mathcal M}\) forms a Boolean algebra \({\mathcal A}\). Let \(I_{\mathcal M}\) denote the ideal in \({\mathcal A}\) which is generated by \({\mathcal M}\) together with the finite subsets of \(\omega\). The partitioner algebra \(P_{\mathcal M}\) of \({\mathcal M}\) is the quotient algebra \({\mathcal A}/I_{\mathcal M}\). A Boolean algebra is representable if it is isomorphic to a partitioner algebra of some mad family on \(\omega\). Previously, \textit{J. E. Baumgartner} and \textit{M. Weese} [``Partition algebras for almost disjoint families'', Trans. Am. Math. Soc. 274, 619-630 (1982; Zbl 0515.03032)] asked if every subalgebra of a representable algebra is also representable. It is known that the answer is yes under CH. Here the authors show that the existence of a supercompact cardinal implies that it is consistent that the answer is no. The proof uses \(\text{PFA}^+\) and \(\diamondsuit (S^2_0)\).
reviewed by: Martin Weese
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 06E05
Mathematics Subject Classification ID: 54B15
zbMATH DE Number: 1838863
zbMATH Keywords: consistency
zbMATH Keywords: maximal almost disjoint family
zbMATH Keywords: Boolean algebra
zbMATH Keywords: partitioner algebra
zbMATH Keywords: representable algebra
MaRDI profile type: Publication
cites work: On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types
cites work: Q3220578
cites work: Partition Algebras for Almost-Disjoint Families
cites work: Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
cites work: Model theory
cites work: Remarks on Partitioner Algebras
cites work: Representing free Boolean algebras
cites work: On the existence of strong chains in ℘(ω1)/Fin
cites work: Set theory. An introduction to independence proofs
cites work: Q3337413
cites work: Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
cites work: Some set-theoretic constructions in topology
cites work: Proper forcing
cites work: Spaces \(N\cup\mathcal R\) and their dimensions
cites work: Some consequences of MA + non wKH
cites work: Partition Problems in Topology
cites work: Forcing axioms and stationary sets
cites work: The axiom of determinacy, forcing axioms, and the nonstationary ideal
description: scientific article; zbMATH DE number 1838863