scientific article
From MaRDI portal
Publication:2905691
zbMath1280.03002MaRDI QIDQ2905691
Publication date: 28 August 2012
Full work available at URL: http://d-nb.info/1016012713/34
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Recursive ordinals and ordinal notations (03F15) Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (2)
The distribution of ITRM-recognizable reals ⋮ A Computational Approach to an Alternative Working Environment for the Constructible Universe
This page was built for publication:
