1. On the semantics of the constructible levels;Boolos;Z. Math. Log. Grundl. Math.,1970
2. Alternative finestructural and computational approaches to constructibility;Carl,2010
3. The basic theory of infinite time register machines;Carl;Arch. Math. Logic,2010
4. Computability: An Introduction to Recursive Function Theory;Cutland,1980