A coherent family of partial functions on $\mathbb {N}$
HTML articles powered by AMS MathViewer
- by Ilijas Farah
- Proc. Amer. Math. Soc. 124 (1996), 2845-2852
- DOI: https://doi.org/10.1090/S0002-9939-96-03338-2
- PDF | Request permission
Abstract:
We prove that there is a family of partial functions $f_\alpha :A_\alpha \to \alpha$ $(\alpha \to \omega _1,A_\alpha$ is a tower in $P(\omega )/\operatorname {Fin})$ such that every surjection $g:\omega _1\to \{0,1\}$ is associated to a cohomologically different Hausdorff gap (see Talayco). This improves a result of Talayco.References
- M. Bekkali, Topics in set theory, Lecture Notes in Mathematics, vol. 1476, Springer-Verlag, Berlin, 1991. Lebesgue measurability, large cardinals, forcing axioms, rho-functions; Notes on lectures by Stevo Todorčević. MR 1119303, DOI 10.1007/BFb0098398
- Alan Dow, Petr Simon, and Jerry E. Vaughan, Strong homology and the proper forcing axiom, Proc. Amer. Math. Soc. 106 (1989), no. 3, 821–828. MR 961403, DOI 10.1090/S0002-9939-1989-0961403-5
- H. Jerome Keisler, Logic with the quantifier “there exist uncountably many”, Ann. Math. Logic 1 (1970), 1–93. MR 263616, DOI 10.1016/S0003-4843(70)80005-5
- D. E. Talayco, Applications of cohomology to set theory I: Hausdorff gaps, Ann. Pure Appl. Logic 71 (1995), 69–106.
Bibliographic Information
- Ilijas Farah
- Affiliation: Department of Mathematics, University of Toronto, Toronto, Canada M5S 3G3; Matematički Institut, Knez-Mihajlova 35, Beograd, Yugoslavia
- MR Author ID: 350129
- Email: ilijas@math.toronto.edu
- Received by editor(s): June 20, 1994
- Received by editor(s) in revised form: March 20, 1995
- Additional Notes: Research supported by the Science Fund of Serbia grant number 0401A
- Communicated by: Andreas R. Blass
- © Copyright 1996 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 124 (1996), 2845-2852
- MSC (1991): Primary 03C80, 03E40, 04A20
- DOI: https://doi.org/10.1090/S0002-9939-96-03338-2
- MathSciNet review: 1327009