scientific article
From MaRDI portal
Publication:3437623
zbMath1118.03035MaRDI QIDQ3437623
Publication date: 9 May 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Inner models, including constructibility, ordinal definability, and core models (03E45) Ordinal and cardinal numbers (03E10) Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication: