A quasi-lower bound on the consistency strength of PFA

DOI10.1090/S0002-9947-2014-05955-2zbMATH Open1341.03071OpenAlexW2090166954MaRDI QIDQ3190409FDOQ3190409

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

zbMATH Keywords

large cardinalsacceptabilityPFAlocal club condensationouter model programme

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Set Theory
• Squares, scales and stationary reflection
• An Outline of Inner Model Theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• 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 (5)

• Local club condensation and L-likeness
• Simplest possible locally definable well-orders
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• Forcing consequences of $PFA$ together with the continuum large
• Definable normal measures

Recommendations

• Title not available (Why is that?) 👍 👎
• On the consistency strength of the Milner-Sauer conjecture 👍 👎
• On the Power of k-Consistency 👍 👎
• A Reduction of the NF consistency Problem 👍 👎
• The complexity of weak consistency 👍 👎
• A note on weak segments of PFA 👍 👎
• Computing weak consistency in polynomial time (extended abstract) 👍 👎
• Decidability and complexity for quiescent consistency and its variations 👍 👎
• Lower Bound Techniques for QBF Proof Systems 👍 👎
• Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles 👍 👎

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)