Abstract
Standard forcing axioms are usually stated in the form which asserts the existence of sufficiently generic filters in every partial order P which belongs to a given class κ of forcing notions. This approach, which is derived by “internalizing” generic extensions, has been very successful in providing strong forcing axioms and proving their consistency; in [FMS] a maximal axiom of this sort is proved consistent for the case when one wishes to consider only generic filters for families of at most N 1 dense sets. However, when applying these axioms we need to know when there is a partial order in the class κ which introduces the object we wish to find. Of course, there is no easy general answer to this question and even some of the most basic instances are still open.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
U. Abraham, M. Rubin, and S. Shelah, On the consistency of some partition theorems for continuous colorings, and the structure of N1 -dense real order types, Annals of Pure and Applied Logic, 29, (1985), pp. 123–206.
J. Baumgartner, Applications of the Proper Forcing Axiom, in “Handbook of settheoretic topology”, (K. Kunen, J. Vaughan eds.), North-Holland Publ.Co., Amsterdam, 1984, pp. 913–959.
Qi Feng, Homogeneous sets for open partitions of pairs of reals, to appear.
M. Foreman, M. Magidor, and S. Shelah, Martin’s maximum, saturated ideals, and nonergular ultrafilters, part I, Annals of Mathematics, 127(1), (1988), pp. 1–47.
W. Just, A weak form of AT from OCA, these proceedings.
K. Kunen, “Set theory”, North-Holland, Amsterdam, 1980.
J. van Mill, Introduction to β03C9;, in “Handbook of set theoretic topology”, eds. K. Kunen, and J. Vaughan, North-Holland, Amsterdam, 1984. pp. 503–567.
Y. Mosehovakis, “Descriptive set theory”, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland, Amsterdam, 1980.
P. Nyikos and B. Velickovic, Complete normality and countable compactness, Bulletin of the AMS, to appear.
F. Rothberger, Sur les famillies indénombrables des suites de nombres naturels et les problèmes concernant la propriété C, Proc. Cambridge Math Society, 3T, (1941), pp. 621–626.
F. Rothberger, On families of real functions with denumerable bases, Annals of Math., 45 (3), (1944), pp. 397–406.
S. Shelah, “Proper forcing”, Lecture Notes in Math., vol. 940, Springer Verlag, Berlin, 1982.
S. Shelah, and J. Steprans, PFA implies all automorphisms are trivial, Proc. A.M.S., 104 (1988), pp. 1220–1225.
W. Sierpinski and A. Zygmund, Sur une fonction qui est discontinue sur tout ensemble de puissance du continuum, Fund. Math., 4, (1928), pp. 316–318.
S. Todorcevic, “Partition problems in Topology”, Contemporary Mathematics vol. 84, American Math Society, Providence, R.I. 1989.
S. Todorcevic, Martin’s Axiom and Continuum Hypothesis, to appear.
S. Todorcevic, Two examples of Borel partial orderings with the countable chain condition, Proceedings of the AMS, to appear.
S. Todorcevic, Partitioning pairs of countable ordinals, Acta Math., 159, (1987), pp. 261–294.
S. Todorcevic and B. Velickovic, Martin’s axiom and partitions, Compositio Math, 63, (1987), pp. 397–408.
B. Velickovic, OCA and automorphisms of P(03C9;)/fin, Topology and its Applications, to appear.
B. Velickovic, Forcing axioms and stationary sets, Advances in Mathematics, to appear.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag New York, Inc.
About this paper
Cite this paper
Velickovic, B. (1992). Applications of the Open Coloring Axiom. In: Judah, H., Just, W., Woodin, H. (eds) Set Theory of the Continuum. Mathematical Sciences Research Institute Publications, vol 26. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9754-0_12
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9754-0_12
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-9756-4
Online ISBN: 978-1-4613-9754-0
eBook Packages: Springer Book Archive