E-Dissertationen: Auflistung E-Dissertationen nach Autor "Carl, Merlin"
Anzeige der Dokumente 1-1 von 1
-
Alternative Finestructural and Computational Approaches to Constructibility
Carl, Merlin (2011-07-14)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.