A quasi-lower bound on the consistency strength of PFA
From MaRDI portal
Publication:3190409
DOI10.1090/S0002-9947-2014-05955-2zbMATH Open1341.03071OpenAlexW2090166954MaRDI QIDQ3190409FDOQ3190409
Authors: Peter Holy, Sy-David Friedman 
Publication date: 17 September 2014
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9947-2014-05955-2
Recommendations
- Computing weak consistency in polynomial time (extended abstract)
- Consistency of circuit lower bounds with bounded theories
- On the Power of k-Consistency
- The complexity of weak consistency
- A note on weak segments of PFA
- Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles
- Decidability and complexity for quiescent consistency and its variations
- A Reduction of the NF consistency Problem
- On the consistency strength of the Milner-Sauer conjecture
- Lower bound techniques for QBF proof systems
Consistency and independence results (03E35) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)
Cites Work
- Set Theory
- Squares, scales and stationary reflection
- Title not available (Why is that?)
- An outline of inner model theory
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Title not available (Why is that?)
- Fine structure and class forcing
- Subcompact cardinals, squares, and stationary reflection
- On the consistency strength of the proper forcing axiom
- Condensation and large cardinals
- Variations on ◊
- Collapsing functions
- Hierarchies of forcing axioms II
- Hierarchies of forcing axioms I
- On the Semantics of the Constructible Levels
- □ on the singular cardinals
Cited In (8)
- Local club condensation and L-likeness
- Simplest possible locally definable well-orders
- Hierarchies of forcing axioms II
- Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
- Forcing consequences of $PFA$ together with the continuum large
- Definable normal measures
- PFA and guessing models
- On the consistency strength of the proper forcing axiom
This page was built for publication: A quasi-lower bound on the consistency strength of PFA
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3190409)
