Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-16T12:51:37.233Z Has data issue: false hasContentIssue false
  • English
  • Français

On the equivalence of certain consequences of the proper forcing axiom

Published online by Cambridge University Press:  12 March 2014

Peter Nyikos  and
Leszek Piątkiewicz
Peter Nyikos
Affiliation:
Department of Mathematics, University of South Carolina, Columbia, South Carolina 29208, E-mail: nyikos@math.scarolina.edu
Leszek Piątkiewicz
Affiliation:
Department of Mathematics, and Computer Science, Pembroke State University, Pembroke, NC 28372, E-mail: leszek@nat.pembroke.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove that a number of axioms, each a consequence of PFA (the Proper Forcing Axiom) are equivalent. In particular we show that TOP (the Thinning-out Principle as introduced by Baumgartner in the Handbook of set-theoretic topology), is equivalent to the following statement: If I is an ideal on ω1 with ω1 generators, then there exists an uncountable X ⊆ ω1, such that either [X]ω ∩ I = ∅ or [X]ω ⊆ I.

Keywords

Proper Forcing AxiomTOP
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 60 , Issue 2 , June 1995 , pp. 431 - 443
Copyright
Copyright © Association for Symbolic Logic 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[B] Baumgartner, James E., Applications of the Proper Forcing Axiom, Handbook of set-theoretic topology (Kunen, K. and Vaughan, J. E., editors), North-Holland, Amsterdam, 1984, pp. 913–959.CrossRefGoogle Scholar
[vD] van Douwen, Eric K., The integers and topology, Handbook of set-theoretic topology (Kunen, K. and Vaughan, J. E., editors), North-Holland, Amsterdam, 1984, pp. 111–167.CrossRefGoogle Scholar
[F] Fremlin, D. H., Consequences of Martin's axiom, Cambridge University Press, Cambridge, 1984.CrossRefGoogle Scholar
[N] Nyikos, Peter, Applications of the Proper Forcing Axiom, preprint.Google Scholar
[R] Roitman, Judy, Basic S and L, Handbook of set-theoretic topology (Kunen, K. and Vaughan, J. E., editors), North-Holland,, Amsterdam, 1984, pp. 295–326.CrossRefGoogle Scholar
[T] Todorĉević, Stevo, Forcing positive partition relations, Transactions of the American Mathematical Society, vol. 280 (1983), pp. 703–720.CrossRefGoogle Scholar
[V] Vaughan, Jerry E., Small uncountable cardinals and topology. With an appendix by S. Shelah, Open problems in topology (van Mill, J. and Reed, G. M., editors), North-Holland, Amsterdam, 1990, pp. 195–218.Google Scholar
[W] Weiss, William, Versions of Martin's axiom, Handbook of set-theoretic topology (Kunen, K. and Vaughan, J. E., editors), North-Holland, Amsterdam, 1984, pp. 827–886.CrossRefGoogle Scholar