Base tree property

DOI10.1007/S11083-013-9316-2MaRDI QIDQ2264116zbMATH OpenOpenAlexFDO

Authors Bohuslav Balcar, Michal Doucha, Michael Hrušák

Publication date 20 March 2015

Published in Order (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1211.3350

zbMATH Keywords

base treesBoolean algebrasforcing

Mathematics Subject Classification ID

Descriptive set theory (03E15) Cardinal characteristics of the continuum (03E17) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Partial orders, general (06A06) Chain conditions, complete algebras (06E10)

Abstract: Building on previous work of [BPS] we investigate $sigma$-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every $sigma$-closed partial order of size continuum has a base tree and that (2) $sigma$-closed forcing notions of density $mathfrakc$ correspond exactly to regular suborders of the collapsing algebra $Coll(omeg{a}_1,2^{o}mega)$. We further study some naturally ocurring examples of such partial orders.

Review text

A partially ordered set is called \(\sigma\)-closed if every countable decreasing sequence of its elements has a lower bound. In this paper: 1) It is shown that every partially ordered set with a dense \(\sigma\)-closed subset of size continuum has a base tree; 2) The \(\sigma\)-closed forcings of size continuum as the regular subalgebras of a collapsing algebra are characterized.

Recommendations

• Bases for Aronszajn trees
• Specializing trees and answer to a question of Williams
• scientific article; zbMATH DE number 1795302
• Singular σ-dense trees
• Tree-forcings and regularity properties of the real line

Cites work

• A model in which the base-matrix tree cannot have cofinal branches
• Boolean Isomorphism between Partial Orderings of Convergent and Divergent Series and Infinite Subsets of &#8469
• Cofinality spectrum theorems in model theory, set theory, and general topology
• Combinatorial Cardinal Characteristics of the Continuum
• Combinatorics of dense subsets of the rationals
• Dense subtrees in complete Boolean algebras
• Distributivity of the algebra of regular open subsets of \(\beta\mathbb R\setminus \mathbb R\)
• Forcing with filters and complete combinatorics
• scientific article; zbMATH DE number 5869710 (Why is no real title available?)
• scientific article; zbMATH DE number 1187509 (Why is no real title available?)
• scientific article; zbMATH DE number 1228763 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• On Certain Boolean Algebras P(ω)/I
• Playful Boolean Algebras
• Remarks on sets related to trigonometric series
• Set theory. An introduction to independence proofs
• The space of ultrafilters on N covered by nowhere dense sets
• Tree \(\pi\)-bases for \(\beta N-N\) in various models
• Trees, Gleason Spaces, and Coabsolutes of βN ∼N
• Van Douwen's diagram for dense sets of rationals

Cited in

(9)

• Construction with opposition: cardinal invariants and games
• scientific article; zbMATH DE number 15667 (Why is no real title available?)
• The life and work of Bohuslav Balcar (1943--2017)
• Specializing trees and answer to a question of Williams
• Stable ordered union ultrafilters and \(\operatorname{cov}(\mathcal{M}) < \mathfrak{c}\)
• Fresh function spectra
• Games on base matrices
• Refining systems of mad families
• Forcing properties of Boolean algebras of the type \(\mathcal{P}(\omega)/\mathcal{I}\)

This page was built for publication: Base tree property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264116)