The bounded proper forcing axiom

DOI10.2307/2275509zbMATH Open0819.03042arXivmath/9501222OpenAlexW2111190351WikidataQ105979012 ScholiaQ105979012MaRDI QIDQ4836043FDOQ4836043

Authors: Martin Goldstern, S. Shelah 

Publication date: 8 June 1995

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

Cited In (43)

• The bounded Axiom A forcing axiom
• Definable MAD families and forcing axioms
• Non-absoluteness of Hjorth’s cardinal characterization
• Strongly uplifting cardinals and the boldface resurrection axioms
• The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃
• Generic absoluteness
• The proper forcing axiom and stationary set reflection
• Canonical fragments of the strong reflection principle
• Title not available (Why is that?)
• ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
• Bounded forcing axioms and the continuum
• Title not available (Why is that?)
• 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
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Proper Forcing, Cardinal Arithmetic, and Uncountable Linear 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^+)\)
• Title not available (Why is that?)
• Resurrection axioms and uplifting cardinals
• Double helix in large large cardinals and iteration of elementary embeddings
• Baumgartner's conjecture and bounded forcing axioms
• Combining resurrection and maximality
• Title not available (Why is that?)
• Parametrized Measuring and Club Guessing
• SET MAPPING REFLECTION
• Distributive proper forcing axiom and cardinal invariants
• The bounded proper forcing axiom and well orderings of the reals
• Lightface $\Sigma^1_2$-indescribable cardinals
• Bounding the consistency strength of a five element linear basis
• Non-elementary proper forcing
• BPFA and inner models
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• Hierarchies of (virtual) resurrection axioms
• Subcomplete forcing, trees, and generic absoluteness
• Weak diamond and Galvin's property

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)