Solovay-type characterizations for forcing-algebras

DOI10.2307/2586632zbMath0945.03071arXivmath/9703203OpenAlexW2003896916MaRDI QIDQ4934042

Jörg Brendle, Benedikt Loewe

Publication date: 8 October 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcingconstructibilitymeasurabilityprojective setconstructible universetranscendence principles

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (28)

Special subsets of the reals and tree forcing notions ⋮ Lebesgue's density theorem and definable selectors for ideals ⋮ Filter-Laver measurability ⋮ A null ideal for inaccessibles ⋮ Mathias and silver forcing parametrized by density ⋮ Some considerations on amoeba forcing notions ⋮ Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals ⋮ On splitting trees ⋮ Social welfare relations and irregular sets ⋮ SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY ⋮ Eventually different functions and inaccessible cardinals ⋮ Forcing absoluteness and regularity properties ⋮ Polarized partitions on the second level of the projective hierarchy ⋮ More on trees and Cohen reals ⋮ On the separation of regularity properties of the reals ⋮ Borel canonization of analytic sets with Borel sections ⋮ Full-splitting Miller trees and infinitely often equal reals ⋮ Between Polish and completely Baire ⋮ 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 ⋮ A General Setting for the Pointwise Investigation of Determinacy ⋮ The uniform Martin’s conjecture for many-one degrees ⋮ Regularity properties on the generalized reals ⋮ Uniform Algebras in the Cantor and Baire Spaces ⋮ The Steinhaus theorem and regular variation: de Bruijn and after ⋮ Definable maximal independent families ⋮ Questions on generalised Baire spaces ⋮ Projective absoluteness for Sacks forcing ⋮ The pointwise view of determinacy: arboreal forcings, measurability, and weak measurability

Cites Work

• Can you take Solovay's inaccessible away?
• \(\Delta^ 1_ 2\)-sets of reals
• Combinatorial properties of Hechler forcing
• Dominating projective sets in the Baire space
• Regularity properties for dominating projective sets
• A model of set-theory in which every set of reals is Lebesgue measurable
• Foundations of Mathematics

This page was built for publication: Solovay-type characterizations for forcing-algebras