On the Semantics of the Constructible Levels
From MaRDI portal
Publication:5549043
DOI10.1002/malq.19700160204zbMath0164.31502OpenAlexW2157455806MaRDI QIDQ5549043
Publication date: 1970
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19700160204
Related Items
A quasi-lower bound on the consistency strength of PFA, SOME OBSERVATIONS ON TRUTH HIERARCHIES, The distribution of ITRM-recognizable reals, Characterizing large cardinals through Neeman's pure side condition forcing, Representing Sets of Ordinals as Countable Unions of Sets in the Core Model, Countably decomposable admissible sets, The lost melody theorem for infinite time Blum-Shub-Smale machines
