A refinement of Jensen's constructible hierarchy

Peter Koepke, Marc van Eijmeren. A refinement of Jensen's constructible hierarchy. In Benedikt Löwe, Boris Piwinger, Thoralf Räsch, editors, Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III", Wien, Asutria, September 21-24, 2001. Volume 23 of Trends in Logic, pages 159-169, Springer, 2001. [doi]

Authors

Peter Koepke

This author has not been identified. Look up 'Peter Koepke' in Google

Marc van Eijmeren

This author has not been identified. Look up 'Marc van Eijmeren' in Google