BibTeX record journals/bsl/Levinson23

• > Home > journals/bsl/Levinson23

@article{DBLP:journals/bsl/Levinson23,
  author       = {Derek Levinson},
  title        = {John Steel and Hugh Woodin. \emph{HOD as a Core Model}. Ordinal Definability
                  and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander
                  Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol.
                  3, Cambridge University Press, Cambridge, pp. 257-345},
  journal      = {Bull. Symb. Log.},
  volume       = {29},
  number       = {4},
  pages        = {656--657},
  year         = {2023},
  url          = {https://doi.org/10.1017/bsl.2023.34},
  doi          = {10.1017/BSL.2023.34},
  timestamp    = {Thu, 21 Mar 2024 17:12:52 +0100},
  biburl       = {https://dblp.org/rec/journals/bsl/Levinson23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}