Results 1 to 10 of about 35 (30)
Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms [PDF]
Journal of the American Mathematical Society, 2015 We analyze certain subfamilies of the category of complete boolean algebras with complete homomorphisms, families which are of particular interest in set theory. In particular we study the category whose objects are stationary set preserving, atomless complete boolean algebras and whose arrows are complete homomorphisms with a ...
Viale, Matteo
openaire +3 more sources
Forcing axioms via ground model interpretations [PDF]
Annals of Pure and Applied Logic, 2023 We study principles of the form: if a name sigma is forced to have a certain property phi, then there is a ground model filter g such that sigma g satisfies phi.
Philipp Schlicht +1 more
exaly +3 more sources
Formalization of Forcing in Isabelle/ZF [PDF]
Automated Reasoning, 2020 Gunther E, Pagano M, Sánchez Terraf P.
europepmc +1 more source
, 2023 In the present thesis, we attempt to examine the meta-ontological problematics of Alain Badiou and situate his speculative metaphysics in the overall cultural milieu of contemporary philosophy.
Filippakis, Konstantinos +1 more
core +1 more source
MATHEMATICAL PLURALISM AND SOME GENERIC ABSOLUTENESS RESULTS IN SET THEORY: A PHILOSOPHICAL INQUIRY [PDF]
, 2015 The forcing technique was discovered by Paul Cohen in the early sixties. Since then forcing has appeared to be a very powerful tool to provide independence results in Set theory. Actually, because of the foundational role played by Set theory with regard
M. Sandrini
core +1 more source
, 2017 The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Veličković. We introduce a stronger form of resurrection axioms (the iterated resurrection axioms [Formula: see text] for a class
Audrito, Giorgio +3 more
core +1 more source
Large cardinals and resurrection axioms [PDF]
, 2012 In the current dissertation we work in set theory and we study both various large cardinal hierarchies and issues related to forcing axioms and generic absoluteness.
Tsaprounis, Konstantinos
core
Forcing Axioms and Generic Absoluteness for Projective Sets in Descriptive Set Theory
We establish Sigma1n+1-generic absoluteness under the assumption of the Transfinite Proper Forcing Axiom (TPFA) and the existence of a proper class of Woodin cardinals via stationary tower forcing.
Revista, Zen, MFC, 10
openaire +2 more sources
Generic Σ... Absoluteness
, 2003 this article we study the strength of # 3 absoluteness (with real parameters) in various types of generic extensions, correcting and improving some results from [2].
Sy D. Friedman
core
Maximality and ontology: how axiom content varies across philosophical frameworks. [PDF]
Synthese, 2020 Barton N, Friedman SD.
europepmc +1 more source