An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN

DOI10.1016/j.topol.2011.08.006zbMath1246.03066OpenAlexW2144856864MaRDI QIDQ649610

Saharon Shelah, Ali Enayat

Publication date: 2 December 2011

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2011.08.006

zbMATH Keywords

forcingBorel structurecompletely separable familytree indiscernible

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Set-theoretic model theory (03C55)

Related Items (3)

Proper and piecewise proper families of reals ⋮ Models of PA: Standard Systems without Minimal Ultrafilters ⋮ A standard model of Peano arithmetic with no conservative elementary extension

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A standard model of Peano arithmetic with no conservative elementary extension
• Harvey Friedman's research on the foundations of mathematics
• Classification theory and the number of non-isomorphic models.
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Classifying almost-disjoint families with applications to \(\beta N-N\)
• Separability properties of almost-disjoint families of sets
• MAD Saturated Families and SANE Player
• Proper and piecewise proper families of reals
• Borel Orderings
• Scott's problem for Proper Scott sets
• Closure properties of countable non-standard integers
• A Two-Cardinal Theorem
• A Two-Cardinal Theorem and a Combinatorial Theorem
• Descriptive set theory and definable forcing
• Set Theory
• Saturated Families

This page was built for publication: An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN