Results 91 to 100 of about 377 (170)
How to have more things by forgetting how to count them†. [PDF]
Proc Math Phys Eng Sci, 2020 Karagila A, Schlicht P.
europepmc +1 more source
The determination of the exact consistency strength of the Proper Forcing Axiom (PFA) remains one of the central open problems in modern set theory. While the consistency of PFA was established by Baumgartner relative to a supercompact cardinal, recent developments in inner model theory and forcing iterations have significantly narrowed the gap between
Revista, Zen, MFC, 10
openaire +2 more sources
Inner Model Theory for Supercompact Cardinals and the Consistency of the Proper Forcing Axiom
Mathematical Applications of Science Fiction We construct a canonical inner model L[E] for a super-compact cardinal, extending the hyper-Woodin hierarchythrough a fully iterable extender sequence E allowing forlong extenders. We establish the existence of a comparisonprocess for mice exhibiting λ-supercompactness, resolvingthe iterability problem ...
Revista, Zen, MFC, 10
openaire +2 more sources
Cichoń's diagram and localisation cardinals. [PDF]
Arch Math Log, 2021 Goldstern M, Klausner LD.
europepmc +1 more source
Woodin Cardinals and the Consistency Strength of Proper Forcing Axioms in Inner Models
Mathematical Applications of Science Fiction We establish a canonical correspondence between the con-sistency strength of the Proper Forcing Axiom (PFA) andthe existence of Woodin cardinals within the core modelK. Specifically, we demonstrate that if PFA holds, then forevery set X, the inner model K(X) admits a proper classof Woodin cardinals, or ...
Revista, Zen, MFC, 10
openaire +1 more source
Maximality and ontology: how axiom content varies across philosophical frameworks. [PDF]
Synthese, 2020 Barton N, Friedman SD.
europepmc +1 more source
Side Conditions of Models of Two Types and High Forcing Axioms [PDF]
The present dissertation is a contribution to the areas of combinatorial set theory and high forcing axioms through the technique of forcing with side conditions.
Rodriguez, Curial Gallart
core
Proper Forcing, The P-Ideal Dichotomy, and the S-space Problem
In this thesis, we explore the relationship between the S-space problem and the Proper Forcing Axiom (PFA). In particular, we prove that many consequences of PFA are compatible with the existence of various S-spaces.
Erlebach, Emily
core
Forcing: Larger cardinals in Cichon's diagram, and PFA(S)[S]
, 2015 Die vorliegende Dissertation verwendet die forcing Methode für Untersuchungen an den reellen Zahlen und allgemeinen topologischen Räumen. Im ersten Teil der Arbeit, die gemeinschaftlich mit M. Goldstern, J. Kellner und S.
Fischer, Arthur
core