Pairwise incompatible generic families
HTML articles powered by AMS MathViewer
- by Wojciech Guzicki PDF
- Proc. Amer. Math. Soc. 110 (1990), 1049-1053 Request permission
Abstract:
Let $M$ be a countable model of ${\mathbf {Z}}{{\mathbf {F}}^ - }$. There exists a family $\mathcal {F}$ of ${2^{{2^\omega }}}$ models of ${\mathbf {Z}}{{\mathbf {F}}^ - }$ each obtained from $M$ by adjoining an $M$-generic family of ${2^\omega }$ Cohen reals, such that no two distinct models in $\mathcal {F}$ have a common extension to a model of ${\mathbf {Z}}{{\mathbf {F}}^ - }$ with the same ordinals.References
- Harvey Friedman, Large models of countable height, Trans. Amer. Math. Soc. 201 (1975), 227–239. MR 416903, DOI 10.1090/S0002-9947-1975-0416903-8
- Matt Kaufmann, Mutually generic classes and incompatible expansions, Fund. Math. 121 (1984), no. 3, 213–218. MR 772449, DOI 10.4064/fm-121-3-213-218
- Andrzej Mostowski, A remark on models of the Gödel-Bernays axioms for set theory, Sets and classes (on the work by Paul Bernays), Studies in Logic and the Foundations of Math., Vol. 84, North-Holland, Amsterdam, 1976, pp. 325–340. MR 0446976
Additional Information
- © Copyright 1990 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 110 (1990), 1049-1053
- MSC: Primary 03C62; Secondary 03E25
- DOI: https://doi.org/10.1090/S0002-9939-1990-1019750-5
- MathSciNet review: 1019750