without sharps
Authors:
Sy D. Friedman and W. Hugh Woodin
Journal:
Proc. Amer. Math. Soc. 124 (1996), 2211-2213
MSC (1991):
Primary 03E15, 03E35, 03E55
DOI:
https://doi.org/10.1090/S0002-9939-96-03297-2
MathSciNet review:
1322923
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
Abstract: We show that the supremum of the lengths of prewellorderings of the reals can be
, with
inaccessible to reals, assuming only the consistency of an inaccessible.
- Friedman [94], Sy D. Friedman, A large Π¹₂ set, absolute for set forcings, Proc. Amer. Math. Soc. 122 (1994), no. 1, 253–256. MR 1231297, https://doi.org/10.1090/S0002-9939-1994-1231297-3
- Friedman-Velickovic [96],
-Definability (to appear).
- Martin [77], Descriptive Set Theory: Projective Sets, Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics 90, Barwise (editor), pp. 783--815.
- Steel-Welch [?],
Absoluteness and the Second Uniform Indiscernible, Israel Journal of Mathematics (to appear).
Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 03E15, 03E35, 03E55
Retrieve articles in all journals with MSC (1991): 03E15, 03E35, 03E55
Additional Information
Sy D. Friedman
Affiliation:
Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139
Address at time of publication:
Equipe de Logique, Université de Paris 7, 2, Place Jussieu, 75251 Paris Cedex 05, France
Email:
sdf@math.mit.edu
W. Hugh Woodin
Affiliation:
Department of Mathematics, University of California, Berkeley, California 94720
Email:
woodin@math.berkeley.edu
DOI:
https://doi.org/10.1090/S0002-9939-96-03297-2
Received by editor(s):
September 22, 1994
Received by editor(s) in revised form:
February 6, 1995
Additional Notes:
Research supported by NSF contracts, nos. 9205530, 9322442.
Communicated by:
Andreas R. Blass
Article copyright:
© Copyright 1996
American Mathematical Society