Provable $\Pi ^ 1_ 2$-singletons
HTML articles powered by AMS MathViewer
- by S. D. Friedman
- Proc. Amer. Math. Soc. 123 (1995), 2873-2874
- DOI: https://doi.org/10.1090/S0002-9939-1995-1257104-1
- PDF | Request permission
Abstract:
In this note we describe a subtheory T of $ZFC + {0^\# }$ exists such that T is consistent with $V = L$ and there is a T-provable $\Pi _2^1$-singleton $R,0{ < _L}R{ < _L}{0^\# }$.References
- Sy D. Friedman, The $\Pi ^1_2$-singleton conjecture, J. Amer. Math. Soc. 3 (1990), no. 4, 771–791. MR 1071116, DOI 10.1090/S0894-0347-1990-1071116-6
Bibliographic Information
- © Copyright 1995 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 123 (1995), 2873-2874
- MSC: Primary 03E45; Secondary 03D60, 03E15, 03E55
- DOI: https://doi.org/10.1090/S0002-9939-1995-1257104-1
- MathSciNet review: 1257104