Results 31 to 40 of about 55 (50)

Small measurable cardinals. [PDF]

Arch Math Log
Hayut Y, Karagila A.
europepmc   +1 more source

Bounded forcing axioms as principles of generic absoluteness

Archive for Mathematical Logic, 2000
The abstract of the paper is quite descriptive: ``We show that the Bounded Forcing Axioms (for instance Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a \(\Sigma_1\) sentence of the language of set theory with parameters in a small ...
Joan Bagaria
exaly   +3 more sources

Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness

Notre Dame Journal of Formal Logic, 2021
Giorgio Venturi
exaly  

Infinite Forcing and the Generic Multiverse

Studia Logica, 2019
Giorgio Venturi, Venturi Giorgio
exaly  

Generic absoluteness under projective forcing

Fundamenta Mathematicae, 2007
Joan Bagaria
exaly  

Martin’s maximum revisited

Archive for Mathematical Logic, 2015
Matteo Viale
exaly  

Generic absoluteness

Annals of Pure and Applied Logic, 2001
Joan Bagaria, Sy D Friedman
exaly  

Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum

Mathematical Logic Quarterly, 2004
Ralf Schindler
exaly  

Forcing absoluteness and regularity properties

Annals of Pure and Applied Logic, 2010
Daisuke Ikegami
exaly