Luzin gaps

Farah, Ilijas

doi:10.1090/S0002-9947-04-03565-2

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