Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Carl, M.: Alternative Finestructural and Computational Approaches to Constructibility. Submitted as PhD thesis at the university of Bonn (2010)
2. Perspectives in Mathematical Logic;K. Devlin,1984
3. Lecture Notes in Mathematics;H.-D. Donder,1979
4. Friedman, S.D., Koepke, P.: An elementary approach to the fine structure of L. Bulletin of Symbolic Logic 4, 453–468
5. Hamkins, J.D., Lewis, A.: Infinite Time Turing Machines. Journal of Symbolic Logic 65(2), 567–604 (2000)