Switch to: References

Citations of:

On coherent families of finite-to-one functions

Piotr Koszmider

Journal of Symbolic Logic 58 (1):128-138 (1993)

Add citations

You must login to add citations.

The Bounded Axiom A Forcing Axiom.Thilo Weinert - 2010 - Mathematical Logic Quarterly 56 (6):659-665.details We introduce the Bounded Axiom A Forcing Axiom . It turns out that it is equiconsistent with the existence of a regular ∑2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom. Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 1 citation
Resurrection axioms and uplifting cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.details We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection axioms are equiconsistent over ZFC with the existence of an uplifting cardinal. Cardinals and Ordinals in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 15 citations
Baumgartnerʼs conjecture and bounded forcing axioms.David Asperó, Sy-David Friedman, Miguel Angel Mota & Marcin Sabok - 2013 - Annals of Pure and Applied Logic 164 (12):1178-1186.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 1 citation

1