A minimal model for : iteration of Jensen's reals

Author:
Uri Abraham

Journal:
Trans. Amer. Math. Soc. **281** (1984), 657-674

MSC:
Primary 03E35; Secondary 03C62, 03E45, 03E50

MathSciNet review:
722767

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A model of is constructed which is minimal with respect to being a model of . Any strictly included submodel of (which contains all the ordinals) satisfies . In this model the degrees of constructibility have order type . A novel method of using the diamond is applied here to construct a countable-support iteration of Jensen's reals: In defining the stage of the iteration the diamond "guesses" possible stages of the iteration.

**[**James E. Baumgartner and Richard Laver,**B,L**]*Iterated perfect-set forcing*, Ann. Math. Logic**17**(1979), no. 3, 271–288. MR**556894**, 10.1016/0003-4843(79)90010-X**[**Keith J. Devlin and Hȧvard Johnsbrȧten,**D,J**]*The Souslin problem*, Lecture Notes in Mathematics, Vol. 405, Springer-Verlag, Berlin-New York, 1974. MR**0384542****[**M. J. Groszek,**G**]*Iterated perfect set forcing and degrees of constructibility*, Thesis, Harvard University, Cambridge, Mass., 1981.**[**Ronald Jensen,**J1**]*Definable sets of minimal degree*, Mathematical logic and foundations of set theory (Proc. Internat. Colloq., Jerusalem, 1968) North-Holland, Amsterdam, 1970, pp. 122–128. MR**0306002****[**R. Björn Jensen,**J2**]*The fine structure of the constructible hierarchy*, Ann. Math. Logic**4**(1972), 229–308; erratum, ibid. 4 (1972), 443. With a section by Jack Silver. MR**0309729****[**Richard Laver,**L**]*On the consistency of Borel’s conjecture*, Acta Math.**137**(1976), no. 3-4, 151–169. MR**0422027****[**Arnold W. Miller,**M**]*Mapping a set of reals onto the reals*, J. Symbolic Logic**48**(1983), no. 3, 575–584. MR**716618**, 10.2307/2273449**[**Gerald E. Sacks,**Sa**]*Forcing with perfect closed sets*, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 331–355. MR**0276079****[**Saharon Shelah,**S**]*Models with second order properties. III. Omitting types for 𝐿(𝑄)*, Arch. Math. Logik Grundlag.**21**(1981), no. 1-2, 1–11. MR**625527**, 10.1007/BF02011630**[**Saharon Shelah,**S1**]*Proper forcing*, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin-New York, 1982. MR**675955**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
03E35,
03C62,
03E45,
03E50

Retrieve articles in all journals with MSC: 03E35, 03C62, 03E45, 03E50

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1984-0722767-0

Article copyright:
© Copyright 1984
American Mathematical Society