Proceedings of the American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-6826 (e) ISSN 0002-9939 (p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues Previous Article \| Next Article

$\mathbf {\underset {{\sim }}{\delta }^{1}_{2}}$ without sharps

Author(s): Sy D. Friedman; W. Hugh Woodin
Journal: Proc. Amer. Math. Soc. 124 (1996), 2211-2213.
MSC (1991): Primary 03E15, 03E35, 03E55
Retrieve article in: PDF
This article is available free of charge

Abstract | References | Similar articles | Additional information

Abstract: We show that the supremum of the lengths of ${\underset {\sim }{\Delta }}^1_2$ prewellorderings of the reals can be $\omega _{2}$ , with $\omega _{1}$ inaccessible to reals, assuming only the consistency of an inaccessible.

References:

Friedman [94],: A Large $\Pi _{2}^{1}$ Set, Absolute for Set Forcings, Proceedings of the American Mathematical Society, 122 (1), 253--256. MR 95c:03118
Friedman-Velickovic [96],: $\Delta _1$ -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 [?],: $\Sigma ^{1}_{3}$ Absoluteness and the Second Uniform Indiscernible, Israel Journal of Mathematics (to appear).


	Comments: webmaster@ams.org © Copyright 2009, American Mathematical Society Privacy Statement		Search the AMS