Projective Measure Without Projective Baire

DOI10.1090/memo/1298OpenAlexW2278733101MaRDI QIDQ4983681

David Schrittesser, Sy-David Friedman

Publication date: 26 April 2021

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/1298

zbMATH Keywords

forcingLebesgue measureBaire propertyprojective setsMahlo cardinals

Mathematics Subject Classification ID

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35)

Related Items (5)

On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ Projective well orders and coanalytic witnesses ⋮ Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals ⋮ Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization ⋮ On the separation of regularity properties of the reals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals
• On the separation of regularity properties of the reals
• Forcing absoluteness and regularity properties
• Some exact equiconsistency results in set theory
• Can you take Solovay's inaccessible away?
• A mathematical proof of S. Shelah's theorem on the measure problem and related results
• The strength of measurability hypotheses
• On measure and category
• \(\Delta^ 1_ 2\)-sets of reals
• Set theory. An introduction to independence proofs
• A simpler proof of Jensen's coding theorem
• Fine structure and class forcing
• The Souslin problem
• Iterated class forcing
• No random reals in countable support iterations
• Set theory. Exploring independence and truth
• A model of set-theory in which every set of reals is Lebesgue measurable
• What is the theory without power set?
• Proper Forcing
• Invariants of Measure and Category
• Constructibility and Class Forcing
• Fine Structure
• Additivity of Measure Implies Additivity of Category
• Δ31 reals
• A new proof that analytic sets are Ramsey
• Happy families
• Coding without fine structure
• sets of reals
• Borel sets and Ramsey's theorem
• Set Theory
• A combinatorial forcing for coding the universe by a real when there are no sharps
• A Sacks real out of nowhere
• The Π 1 2 -Singleton Conjecture
• -sets of reals
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Every analytic set is Ramsey
• Internal cohen extensions
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• Consistency of the Continuum Hypothesis. (AM-3)

This page was built for publication: Projective Measure Without Projective Baire