scientific article; zbMATH DE number 3445235
From MaRDI portal
Publication:4770391
zbMath0284.02021MaRDI QIDQ4770391
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Large cardinals (03E55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)
Related Items (3)
On the proof-theoretic strength of monotone induction in explicit mathematics ⋮ Inductively defined sets of reals ⋮ THE ORDER OF REFLECTION
This page was built for publication:
