Admissibles in gaps
From MaRDI portal
Publication:2011650
DOI10.1007/978-3-319-58741-7_18zbMath1436.03235MaRDI QIDQ2011650
Bruno Durand, Merlin Carl, Sabrina Ouazzani, Grégory Lafitte
Publication date: 4 August 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_18
03D10: Turing machines and related notions
03D60: Computability and recursion theory on ordinals, admissible sets, etc.