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]

@inproceedings{KoepkeE01,
  title = {A refinement of Jensen's constructible hierarchy},
  author = {Peter Koepke and Marc van Eijmeren},
  year = {2001},
  doi = {10.1007/978-1-4020-2776-5_9},
  url = {http://dx.doi.org/10.1007/978-1-4020-2776-5_9},
  researchr = {https://researchr.org/publication/KoepkeE01},
  cites = {0},
  citedby = {0},
  pages = {159-169},
  booktitle = {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},
  editor = {Benedikt Löwe and Boris Piwinger and Thoralf Räsch},
  volume = {23},
  series = {Trends in Logic},
  publisher = {Springer},
  isbn = {978-1-4020-2776-5},
}