Article contents
ON THE NON-ENUMERABILITY OF L
Published online by Cambridge University Press: 01 December 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.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2016
References
REFERENCES
- 1
- Cited by