Forcing absoluteness and regularity properties

DOI10.1016/j.apal.2009.10.005zbMath1223.03032OpenAlexW2030570356MaRDI QIDQ636331

Daisuke Ikegami

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/forcing-absoluteness-and-regularity-properties(3ea5132e-d3e9-43bd-84bb-5370b7f9f074).html

zbMATH Keywords

regularity propertiesforcing absoluteness

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Uniformization and internal absoluteness ⋮ Lebesgue's density theorem and definable selectors for ideals ⋮ Filter-Laver measurability ⋮ Preserving levels of projective determinacy by tree forcings ⋮ RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY ⋮ Ideal topologies in higher descriptive set theory ⋮ Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals ⋮ Determinacy and regularity properties for idealized forcings ⋮ Social welfare relations and irregular sets ⋮ Eventually different functions and inaccessible cardinals ⋮ Polarized partitions on the second level of the projective hierarchy ⋮ Complexity of Ramsey null sets ⋮ Well-Quasi Orders and Hierarchy Theory ⋮ On the separation of regularity properties of the reals ⋮ A Sacks indestructible co-analytic maximal eventually different family ⋮ Borel canonization of analytic sets with Borel sections ⋮ Full-splitting Miller trees and infinitely often equal reals ⋮ A General Setting for the Pointwise Investigation of Determinacy ⋮ Regularity properties on the generalized reals ⋮ Questions on generalised Baire spaces ⋮ Projective Measure Without Projective Baire

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• MA(\(\sigma\)-centered): Cohen reals, strong measure zero sets and strongly meager sets
• Projective absoluteness for Sacks forcing
• Descriptive set theory
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• Proper forcing extensions and Solovay models
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• Core models
• Amoeba-absoluteness and projective measurability
• A characterization of Martin's axiom in terms of absoluteness
• Descriptive set theory and definable forcing
• Silver Measurability and its relation to other regularity properties
• Set Theory
• Mathias absoluteness and the Ramsey property
• The Size of the Ordinal u ₂
• Solovay-type characterizations for forcing-algebras
• Solovay models and forcing extensions
• Iterates of the core model
• On the Cardinality of $$ \sum_2^1 $$ Sets of Reals
• Inner models and large cardinals