The bounded proper forcing axiom

DOI10.2307/2275509MaRDI QIDQ4836043zbMATH OpenOpenAlexWikidataFDO

Authors Martin Goldstern, S. Shelah

Publication date 8 June 1995

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9501222

zbMATH Keywords

consistency strengthregular cardinalbounded proper forcing axiomexistence of a \(\Sigma_ 1\)-reflecting cardinalexistence of isomorphisms between structuresrigidity of a structure

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Consistency and independence results (03E35) Set-theoretic model theory (03C55) Large cardinals (03E55)

Abstract: The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa is called {Sigma}_1-reflecting, if for any regular cardinal chi, for all formulas phi, ``H(chi) models `phi ' implies ``exists delta < kappa, H(delta) models `phi ' We show that BPFA is equivalent to the statement that two nonisomorphic models of size aleph_1 cannot be made isomorphic by a proper forcing notion, and we show that the consistency strength of the bounded proper forcing axiom is exactly the existence of a Sigma_1-reflecting cardinal (which is less than the existence of a Mahlo cardinal). We also show that the question of the existence of isomorphisms between two structures can be reduced to the question of rigidity of a structure.

Recommendations

• The bounded Axiom A forcing axiom
• Bounded forcing axioms and the continuum
• A maximal bounded forcing axiom
• The bounded proper forcing axiom and well orderings of the reals
• Bounded forcing axioms as principles of generic absoluteness
• Baumgartner's conjecture and bounded forcing axioms
• scientific article; zbMATH DE number 3898876
• scientific article; zbMATH DE number 2204754
• Properness under closed forcing
• Proper forcing axiom and selective separability

Cites work

• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 3805451 (Why is no real title available?)
• Aronszajn trees and the independence of the transfer property
• Models with second order properties II. Trees with no undefined branches
• On potential embedding and versions of Martin's axiom

Cited in

(43)

• The bounded Axiom A forcing axiom
• Definable MAD families and forcing axioms
• Strongly uplifting cardinals and the boldface resurrection axioms
• Non-absoluteness of Hjorth’s cardinal characterization
• The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃
• The proper forcing axiom and stationary set reflection
• Generic absoluteness
• scientific article; zbMATH DE number 3898876 (Why is no real title available?)
• Canonical fragments of the strong reflection principle
• ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
• Bounded forcing axioms and the continuum
• scientific article; zbMATH DE number 3885892 (Why is no real title available?)
• Bounded Namba forcing axiom may fail
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• Bounded Martin's maximum with an asterisk
• Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• The tree property at \(\omega_2\) and bounded forcing axioms
• A maximal bounded forcing axiom
• Bounded forcing axioms as principles of generic absoluteness
• Subcomplete forcing principles and definable well-orders
• On a convenient property about \([\gamma]^{\aleph_0}\)
• What do we need large cardinals for?
• Hierarchies of forcing axioms I
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• scientific article; zbMATH DE number 5971087 (Why is no real title available?)
• Double helix in large large cardinals and iteration of elementary embeddings
• Baumgartner's conjecture and bounded forcing axioms
• Resurrection axioms and uplifting cardinals
• Combining resurrection and maximality
• Parametrized Measuring and Club Guessing
• scientific article; zbMATH DE number 1795301 (Why is no real title available?)
• Distributive proper forcing axiom and cardinal invariants
• SET MAPPING REFLECTION
• The bounded proper forcing axiom and well orderings of the reals
• Bounding the consistency strength of a five element linear basis
• Lightface $\Sigma^1_2$-indescribable cardinals
• Non-elementary proper forcing
• BPFA and inner models
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• Hierarchies of (virtual) resurrection axioms
• Weak diamond and Galvin's property
• Subcomplete forcing, trees, and generic absoluteness

This page was built for publication: The bounded proper forcing axiom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4836043)