Properness Without Elementaricity

DOI10.1515/JAA.2004.169zbMath1069.03043OpenAlexW1996065087MaRDI QIDQ4668849

Saharon Shelah

Publication date: 15 April 2005

Published in: Journal of Applied Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/jaa.2004.169

zbMATH Keywords

Fubini theoremiterated forcingpreservationCohen forcingcommuting forcingnon-elementary propernessSouslin non-elementary properness

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Other notions of set-theoretic definability (03E47)

Related Items (17)

On Russell typicality in set theory ⋮ Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters ⋮ Sweet \& sour and other flavours of ccc forcing notions ⋮ Proper forcing and rectangular Ramsey theorems ⋮ Measured creatures ⋮ On Nicely Definable Forcing Notions ⋮ Many countable support iterations of proper forcings preserve Souslin trees ⋮ Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals ⋮ Nice ℵ₁ generated non‐P‐points, Part I ⋮ Corrected iteration ⋮ Trivial automorphisms ⋮ Applications of the ergodic iteration theorem ⋮ A parallel to the null ideal for inaccessible \(\lambda\). I ⋮ Preserving non-null with Suslin\(^+\) forcings ⋮ Hypergraphs and proper forcing ⋮ Non-Cohen Oracle C.C.C. ⋮ Borel conjecture and dual Borel conjecture

Cites Work

• More on simple forcing notions and forcings with ideals
• There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed
• Forcings with ideals and simple forcing notions
• How special are Cohen and random forcings, i. e. Boolean algebras of the family of subsets of reals moduli meagre or null
• Iteration of Souslin forcing, projective measurability and the Borel conjecture
• Souslin forcing
• Norms on Possibilities II: More CCC Ideals on 2 ω
• A combinatorial forcing for coding the universe by a real when there are no sharps
• On Nicely Definable Forcing Notions
• More on real-valued measurable cardinals and forcing with ideals

This page was built for publication: Properness Without Elementaricity