Luzin gaps
HTML articles powered by AMS MathViewer
- by Ilijas Farah PDF
- Trans. Amer. Math. Soc. 356 (2004), 2197-2239 Request permission
Abstract:
We isolate a class of $F_{\sigma \delta }$ ideals on $\mathbb {N}$ that includes all analytic P-ideals and all $F_\sigma$ ideals, and introduce ‘Luzin gaps’ in their quotients. A dichotomy for Luzin gaps allows us to freeze gaps, and prove some gap preservation results. Most importantly, under PFA all isomorphisms between quotient algebras over these ideals have continuous liftings. This gives a partial confirmation to the author’s rigidity conjecture for quotients $\mathcal {P}(\mathbb {N})/\mathcal {I}$. We also prove that the ideals $\operatorname {NWD}(\mathbb {Q})$ and $\operatorname {NULL}(\mathbb {Q})$ have the Radon–Nikodým property, and (using OCA$_\infty$) a uniformization result for $\mathcal {K}$-coherent families of continuous partial functions.References
- Uri Abraham, Matatyahu Rubin, and Saharon Shelah, On the consistency of some partition theorems for continuous colorings, and the structure of $\aleph _1$-dense real order types, Ann. Pure Appl. Logic 29 (1985), no. 2, 123–206. MR 801036, DOI 10.1016/0168-0072(84)90024-1
- Tomek Bartoszyński and Haim Judah, Set theory, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR 1350295
- Murray G. Bell, Compact ccc nonseparable spaces of small weight, Topology Proc. 5 (1980), 11–25 (1981). MR 624458
- J. R. P. Christensen, Vladimir Kanovei, and Michael Reeken, On Borel orderable groups, Topology Appl. 109 (2001), no. 3, 285–299. MR 1807391, DOI 10.1016/S0166-8641(99)00164-9
- Max Zorn, Continuous groups and Schwarz’ lemma, Trans. Amer. Math. Soc. 46 (1939), 1–22. MR 53, DOI 10.1090/S0002-9947-1939-0000053-7
- H. G. Dales and W. H. Woodin, An introduction to independence for analysts, London Mathematical Society Lecture Note Series, vol. 115, Cambridge University Press, Cambridge, 1987. MR 942216, DOI 10.1017/CBO9780511662256
- Alan Dow and Klaas Pieter Hart, The measure algebra does not always embed, Fund. Math. 163 (2000), no. 2, 163–176. MR 1752102, DOI 10.4064/fm-163-2-163-176
- T. Downarowicz and A. Iwanik, Quasi-uniform convergence in compact dynamical systems, Studia Math. 89 (1988), no. 1, 11–25. MR 951081, DOI 10.4064/sm-89-1-11-25
- Ilijas Farah, Cauchy nets and open colorings, Publ. Inst. Math. (Beograd) (N.S.) 64(78) (1998), 146–152. 50th anniversary of the Mathematical Institute, Serbian Academy of Sciences and Arts (Belgrade, 1996). MR 1668707
- Ilijas Farah, Completely additive liftings, Bull. Symbolic Logic 4 (1998), no. 1, 37–54. MR 1609187, DOI 10.2307/421005
- Ilijas Farah, Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Mem. Amer. Math. Soc. 148 (2000), no. 702, xvi+177. MR 1711328, DOI 10.1090/memo/0702
- Ilijas Farah, Approximate homomorphisms. II. Group homomorphisms, Combinatorica 20 (2000), no. 1, 47–60. MR 1770537, DOI 10.1007/s004930070030
- Ilijas Farah, Liftings of homomorphisms between quotient structures and Ulam stability, Logic Colloquium ’98 (Prague), Lect. Notes Log., vol. 13, Assoc. Symbol. Logic, Urbana, IL, 2000, pp. 173–196. MR 1743259
- Ilijas Farah, Analytic Hausdorff gaps, Set theory (Piscataway, NJ, 1999) DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 58, Amer. Math. Soc., Providence, RI, 2002, pp. 65–72. MR 1903850, DOI 10.1090/dimacs/058/05
- —, Rigidity conjectures, Proceedings of Logic Colloquium 2000, to appear, available at http://www.math.yorku.ca/$\sim$ifarah.
- I. Farah and S. Solecki, Two $F_{\sigma \delta }$ ideals, Proceedings of the American Mathematical Society 131 (2003), 1971–1975.
- D.H. Fremlin, Measure theory, vol. 4, Torres–Fremlin, 2003.
- —, Notes on farah P99, preprint, University of Essex, June 1999.
- D. H. Fremlin and K. Kunen, Essentially unbounded chains in compact sets, Math. Proc. Cambridge Philos. Soc. 109 (1991), no. 1, 149–160. MR 1075127, DOI 10.1017/S0305004100069620
- F. Hausdorff, Summen von $\aleph _1$ Mengen, Fundamenta Mathematicae 26 (1936), 241–255.
- S.-A. Jalali-Naini, The monotone subsets of cantor space, filters and descriptive set theory, Ph.D. thesis, Oxford, 1976.
- Winfried Just, A modification of Shelah’s oracle-c.c. with applications, Trans. Amer. Math. Soc. 329 (1992), no. 1, 325–356. MR 1022167, DOI 10.1090/S0002-9947-1992-1022167-7
- 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
- V. Kanovei and M. Reeken, On Ulam’s problem of approximation of non-exact homomorphisms, preprint, 1999.
- V. Kanoveĭ and M. Reeken, On Ulam’s problem concerning the stability of approximate homomorphisms, Tr. Mat. Inst. Steklova 231 (2000), no. Din. Sist., Avtom. i Beskon. Gruppy, 249–283 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math. 4(231) (2000), 238–270. MR 1841758
- Vladimir Kanovei and Michael Reeken, New Radon-Nikodym ideals, Mathematika 47 (2000), no. 1-2, 219–227 (2002). MR 1924499, DOI 10.1112/S0025579300015837
- 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
- K. Kunen, $\langle \kappa ,\lambda ^*\rangle$-gaps under MA, preprint, 1976.
- 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
- Claude Laflamme, Forcing with filters and complete combinatorics, Ann. Pure Appl. Logic 42 (1989), no. 2, 125–163. MR 996504, DOI 10.1016/0168-0072(89)90052-3
- Garrett Birkhoff and Morgan Ward, A characterization of Boolean algebras, Ann. of Math. (2) 40 (1939), 609–610. MR 9, DOI 10.2307/1968945
- Krzysztof Mazur, $F_\sigma$-ideals and $\omega _1\omega _1^*$-gaps in the Boolean algebras $P(\omega )/I$, Fund. Math. 138 (1991), no. 2, 103–111. MR 1124539, DOI 10.4064/fm-138-2-103-111
- Saharon Shelah, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin-New York, 1982. MR 675955
- 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
- Sławomir Solecki, Analytic ideals and their applications, Ann. Pure Appl. Logic 99 (1999), no. 1-3, 51–72. MR 1708146, DOI 10.1016/S0168-0072(98)00051-7
- 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
- Stevo Todorčević, Analytic gaps, Fund. Math. 150 (1996), no. 1, 55–66. MR 1387957, DOI 10.4064/fm-150-1-55-66
- Stevo Todorcevic, Definable ideals and gaps in their quotients, Set theory (Curaçao, 1995; Barcelona, 1996) Kluwer Acad. Publ., Dordrecht, 1998, pp. 213–226. MR 1602013
- Stevo Todorčević, Gaps in analytic quotients, Fund. Math. 156 (1998), no. 1, 85–97. MR 1610488
- S. Todorchevich and I. Farah, Some applications of the method of forcing, Yenisei Series in Pure and Applied Mathematics, Yenisei, Moscow; Lycée, Troitsk, 1995. MR 1486583
- 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
Additional Information
- Ilijas Farah
- Affiliation: Department of Mathematics and Statistics, York University, 4700 Keele Street, North York, Ontario, Canada, M3J 1P3 – and – Matematicki Institut, Kneza Mihaila 35, Belgrade
- MR Author ID: 350129
- Email: ifarah@mathstat.yorku.ca
- Received by editor(s): October 15, 2001
- Published electronically: February 2, 2004
- Additional Notes: The author acknowledges support received from the National Science Foundation (USA) via grant DMS-0196153, PSC-CUNY grant #62785-00-31, the York University start-up grant, and the NSERC (Canada)
- © Copyright 2004 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 356 (2004), 2197-2239
- MSC (2000): Primary 03E50, 03E65, 06E05
- DOI: https://doi.org/10.1090/S0002-9947-04-03565-2
- MathSciNet review: 2048515