An algorithmic approach to characterizations of admissibles

DOI10.1007/978-3-030-22996-2_16zbMath1434.03112OpenAlexW2954990583MaRDI QIDQ2179361

Bruno Durand, Grégory Lafitte

Publication date: 12 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-22996-2_16

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

This page was built for publication: An algorithmic approach to characterizations of admissibles