On the Semantics of the Constructible Levels

DOI10.1002/MALQ.19700160204MaRDI QIDQ5549043zbMATH OpenOpenAlexFDO

Authors George Boolos

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

zbMATH Keywords

set theory

Cited in

(8)

• The lost melody theorem for infinite time Blum-Shub-Smale machines
• The distribution of ITRM-recognizable reals
• Some observations on truth hierarchies
• A quasi-lower bound on the consistency strength of PFA
• Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
• Characterizing large cardinals through Neeman's pure side condition forcing
• On constructible sets in Simpson's set theory
• Countably decomposable admissible sets

This page was built for publication: On the Semantics of the Constructible Levels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5549043)