Taming Koepke's zoo

DOI10.1007/978-3-319-94418-0_13zbMath1436.03236OpenAlexW2811317784MaRDI QIDQ1670732

Merlin Carl, Sabrina Ouazzani, Philip D. Welch

Publication date: 6 September 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94418-0_13

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (3)

Realisability for infinitary intuitionistic set theory ⋮ Unnamed Item ⋮ Clockability for ordinal Turing machines

This page was built for publication: Taming Koepke's zoo