A modification of Shelah’s oracle-c.c. with applications
HTML articles powered by AMS MathViewer
- by Winfried Just PDF
- Trans. Amer. Math. Soc. 329 (1992), 325-356 Request permission
Abstract:
A method of constructing iterated forcing notions that has a scope of applications similar to Shelah’s oracle-c.c. is presented. This method yields a consistency result on homomorphisms of quotient algebras of the Boolean algebra $\mathcal {P}(\omega )$. Also, it is shown to be relatively consistent with ZFC that the Boolean algebra of Lebesgue measurable subsets of the unit interval has no projective lifting.References
- Maxim R. Burke and Winfried Just, Liftings for Haar measure on $\{0,1\}^\kappa$, Israel J. Math. 73 (1991), no. 1, 33–44. MR 1119925, DOI 10.1007/BF02773422 T. Carlson, A theorem on lifting; Undated handwritten notes. P. Erdàs, My Scottish Book "Problems", The Scottish Book, (D. Mauldin, ed.), Birkhäuser, Boston, Mass., 1981.
- Serge Grigorieff, Intermediate submodels and generic extensions in set theory, Ann. of Math. (2) 101 (1975), 447–490. MR 373889, DOI 10.2307/1970935 W. Just, Ph. D. Thesis (in Polish), University of Warsaw, 1987.
- Winfried Just, The space $(\omega ^*)^{n+1}$ is not always a continuous image of $(\omega ^*)^n$, Fund. Math. 132 (1989), no. 1, 59–72. MR 1004296, DOI 10.4064/fm-132-1-59-72 —, Triviality conditions for homomorphisms of Boolean algebras $\mathcal {P}(\omega )/{\operatorname {Fin}} \to \mathcal {P}(\omega )/\mathcal {J}$, preprint, University of Warsaw, 1987.
- Winfried Just, Nowhere dense $P$-subsets of $\omega$, Proc. Amer. Math. Soc. 106 (1989), no. 4, 1145–1146. MR 976360, DOI 10.1090/S0002-9939-1989-0976360-5
- Winfried Just, Repercussions of a problem of Erdős and Ulam on density ideals, Canad. J. Math. 42 (1990), no. 5, 902–914. MR 1081002, DOI 10.4153/CJM-1990-047-5
- Winfried Just, A weak version of $\textrm {AT}$ from $\textrm {OCA}$, Set theory of the continuum (Berkeley, CA, 1989) Math. Sci. Res. Inst. Publ., vol. 26, Springer, New York, 1992, pp. 281–291. MR 1233823, DOI 10.1007/978-1-4613-9754-0_{1}7
- Winfried Just and Adam Krawczyk, On certain Boolean algebras ${\scr P}(\omega )/I$, Trans. Amer. Math. Soc. 285 (1984), no. 1, 411–429. MR 748847, DOI 10.1090/S0002-9947-1984-0748847-1
- Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342 A. Krawczyk, Handwritten notes, April 29, 1987.
- Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 561709 D. A. Martin, J. R. Steel and H. Woodin, Supercompact cardinals imply AD holds in $L({\mathbf {R}})$, Abstracts AMS, 7 (1986), #825-04-161.
- John C. Oxtoby, Measure and category, 2nd ed., Graduate Texts in Mathematics, vol. 2, Springer-Verlag, New York-Berlin, 1980. A survey of the analogies between topological and measure spaces. MR 584443
- Saharon Shelah, Lifting problem of the measure algebra, Israel J. Math. 45 (1983), no. 1, 90–96. MR 710248, DOI 10.1007/BF02760673
- Saharon Shelah, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin-New York, 1982. MR 675955 S. Shelah and J. Steprāns, Non-trivial autohomeomorphisms of $\beta {\mathbf {N}} - {\mathbf {N}}$ without the continuum hypothesis, Fund. Math. 132 (1989), 135-141.
- Saharon Shelah and Juris Steprāns, PFA implies all automorphisms are trivial, Proc. Amer. Math. Soc. 104 (1988), no. 4, 1220–1225. MR 935111, DOI 10.1090/S0002-9939-1988-0935111-X
- Michel Talagrand, Compacts de fonctions mesurables et filtres non mesurables, Studia Math. 67 (1980), no. 1, 13–43 (French). MR 579439, DOI 10.4064/sm-67-1-13-43
- Stevo Todorčević, Partition problems in topology, Contemporary Mathematics, vol. 84, American Mathematical Society, Providence, RI, 1989. MR 980949, DOI 10.1090/conm/084
- Boban Veli ković, Definable automorphisms of ${\scr P}(\omega )/\textrm {fin}$, Proc. Amer. Math. Soc. 96 (1986), no. 1, 130–135. MR 813825, DOI 10.1090/S0002-9939-1986-0813825-8
- Boban Veli ković, $\textrm {OCA}$ and automorphisms of ${\scr P}(\omega )/\textrm {fin}$, Topology Appl. 49 (1993), no. 1, 1–13. MR 1202874, DOI 10.1016/0166-8641(93)90127-Y
- Jan van Mill, An introduction to $\beta \omega$, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 503–567. MR 776630
Additional Information
- © Copyright 1992 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 329 (1992), 325-356
- MSC: Primary 03E35; Secondary 06E05, 28A99
- DOI: https://doi.org/10.1090/S0002-9947-1992-1022167-7
- MathSciNet review: 1022167