Ultrafilters with property $( {s})$
HTML articles powered by AMS MathViewer
- by Arnold W. Miller PDF
- Proc. Amer. Math. Soc. 137 (2009), 3115-3121 Request permission
Abstract:
A set $X\subseteq 2^\omega$ has property (s) (Marczewski (Szpilrajn)) iff for every perfect set $P\subseteq 2^\omega$ there exists a perfect set $Q\subseteq P$ such that $Q\subseteq X$ or $Q\cap X=\emptyset$. Suppose ${\mathcal {U}}$ is a nonprincipal ultrafilter on $\omega$. It is not difficult to see that if ${\mathcal {U}}$ is preserved by Sacks forcing, i.e., if it generates an ultrafilter in the generic extension after forcing with the partial order of perfect sets, then ${\mathcal {U}}$ has property (s) in the ground model. It is known that selective ultrafilters or even P-points are preserved by Sacks forcing. On the other hand (answering a question raised by Hrusak) we show that assuming CH (or more generally MA) there exists an ultrafilter ${\mathcal {U}}$ with property (s) such that ${\mathcal {U}}$ does not generate an ultrafilter in any extension which adds a new subset of $\omega$.References
- Tomek Bartoszyński and Haim Judah, Set theory, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR 1350295
- James E. Baumgartner and Richard Laver, Iterated perfect-set forcing, Ann. Math. Logic 17 (1979), no. 3, 271–288. MR 556894, DOI 10.1016/0003-4843(79)90010-X
- Andreas Blass, A partition theorem for perfect sets, Proc. Amer. Math. Soc. 82 (1981), no. 2, 271–277. MR 609665, DOI 10.1090/S0002-9939-1981-0609665-0
- Jörg Brendle, Between $P$-points and nowhere dense ultrafilters, Israel J. Math. 113 (1999), 205–230. MR 1729447, DOI 10.1007/BF02780177
- Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
- Arnold W. Miller, Rational perfect set forcing, Axiomatic set theory (Boulder, Colo., 1983) Contemp. Math., vol. 31, Amer. Math. Soc., Providence, RI, 1984, pp. 143–159. MR 763899, DOI 10.1090/conm/031/763899
- Arnold W. Miller, Special subsets of the real line, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 201–233. MR 776624
- Jan Mycielski, Independent sets in topological algebras, Fund. Math. 55 (1964), 139–147. MR 173645, DOI 10.4064/fm-55-2-139-147
- Gerald E. Sacks, Forcing with perfect closed sets, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 331–355. MR 0276079
- Robert M. Solovay, On the cardinality of $\sum _{2}^{1}$ sets of reals, Foundations of Mathematics (Symposium Commemorating Kurt Gödel, Columbus, Ohio, 1966) Springer, New York, 1969, pp. 58–73. MR 0277382
Additional Information
- Arnold W. Miller
- Affiliation: Department of Mathematics, University of Wisconsin-Madison, Van Vleck Hall, 480 Lincoln Drive, Madison, Wisconsin 53706-1388
- Email: miller@math.wisc.edu
- Received by editor(s): October 27, 2003
- Received by editor(s) in revised form: January 15, 2004
- Published electronically: April 20, 2009
- Additional Notes: Thanks to the Fields Institute, Toronto, for their support during the time these results were proved and to Juris Steprans for helpful conversations, and thanks to Boise State University for support during the time this paper was written
- Communicated by: Alan Dow
- © Copyright 2009
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 137 (2009), 3115-3121
- MSC (2000): Primary 03E35, 03E17, 03E50
- DOI: https://doi.org/10.1090/S0002-9939-09-09919-5
- MathSciNet review: 2506470