A Computational Approach to an Alternative Working Environment for the Constructible Universe

DOI10.1007/978-3-642-21875-0_3zbMath1283.03081OpenAlexW189947559MaRDI QIDQ3091437

Merlin Carl

Publication date: 9 September 2011

Published in: Models of Computation in Context (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21875-0_3

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Turing machines and related notions (03D10)

Cites Work

• Unnamed Item
• Unnamed Item
• Register computations on ordinals
• Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
• An Elementary Approach to the Fine Structure of L
• Infinite time Turing machines
• The fine structure of the constructible hierarchy

This page was built for publication: A Computational Approach to an Alternative Working Environment for the Constructible Universe