scientific article; zbMATH DE number 1390284
From MaRDI portal
Publication:4934571
zbMath0937.03049MaRDI QIDQ4934571
Publication date: 13 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
admissibility theoryconstructible hierarchyinfinite time Turing machinejump hierarchyinfinite time Turing degreesKP-models
Inner models, including constructibility, ordinal definability, and core models (03E45) Turing machines and related notions (03D10) Other Turing degree structures (03D28) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (2)
Infinite-Time Turing Machines and Borel Reducibility ⋮ The recognizability strength of infinite time Turing machines with ordinal parameters
This page was built for publication: