ON THE NON-ENUMERABILITY OF L
From MaRDI portal
Publication:2976338
DOI10.1017/jsl.2016.34zbMath1403.03075OpenAlexW2558966775MaRDI QIDQ2976338
Publication date: 28 April 2017
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2016.34
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)
Related Items
Cites Work