Carl, Merlin: Alternative Finestructural and Computational Approaches to Constructibility. - Bonn, 2011. - Dissertation, Rheinische Friedrich-Wilhelms-Universität Bonn.
Online-Ausgabe in bonndoc: https://nbn-resolving.org/urn:nbn:de:hbz:5N-25913
@phdthesis{handle:20.500.11811/5010,
urn: https://nbn-resolving.org/urn:nbn:de:hbz:5N-25913,
author = {{Merlin Carl}},
title = {Alternative Finestructural and Computational Approaches to Constructibility},
school = {Rheinische Friedrich-Wilhelms-Universität Bonn},
year = 2011,
month = jul,

note = {We consider attempts to simplify finestructural arguments concerning inner models of ZFC, in particular L; in addition, we exhibit different aspects of the computational strength of Infinite Time Register Machines.},
url = {http://hdl.handle.net/20.500.11811/5010}
}

The following license files are associated with this item:

InCopyright