Forcing absoluteness and regularity properties

DOI10.1016/j.apal.2009.10.005zbMath1223.03032MaRDI 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 properties; forcing absoluteness

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E40: Other aspects of forcing and Boolean-valued models

Related Items

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

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