Merlin Carl. A Computational Approach to an Alternative Working Environment for the Constructible Universe. In Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova, editors, Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings. Volume 6735 of Lecture Notes in Computer Science, pages 21-30, Springer, 2011. [doi]
Abstract is missing.