Alternative Finestructural and Computational Approaches to Constructibility
Merlin Carl · bonndoc (University of Bonn) · 2011
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.