Carl, Merlin: Alternative Finestructural and Computational Approaches to Constructibility. - Bonn, 2011. - Dissertation, Rheinische Friedrich-Wilhelms-Universität Bonn.
Online-Ausgabe in bonndoc:
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 = {}

The following license files are associated with this item: