Back to Search
Start Over
ON THE NON-ENUMERABILITY OF L.
- Source :
- Journal of Symbolic Logic; Dec2016, Vol. 81 Issue 4, p1396-1404, 9p
- Publication Year :
- 2016
-
Abstract
- Assume V ≠ L. Then L is not E-Recursively Enumerable in any member of L via a forcing argument inspired by Friedberg [1]. This approach leads to an extension of Levy-Shoenfield absoluteness. [ABSTRACT FROM PUBLISHER]
Details
- Language :
- English
- ISSN :
- 00224812
- Volume :
- 81
- Issue :
- 4
- Database :
- Supplemental Index
- Journal :
- Journal of Symbolic Logic
- Publication Type :
- Academic Journal
- Accession number :
- 119866020
- Full Text :
- https://doi.org/10.1017/jsl.2016.34