scientific article; zbMATH DE number 1390018
From MaRDI portal
Publication:4934283
zbMath0965.03058MaRDI QIDQ4934283
Publication date: 22 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Metamathematics of constructive systems (03F50) Higher-type and set recursion theory (03D65)
Related Items (7)
Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Nonflatness and totality ⋮ The Computational Power of ℳω ⋮ Hierarchies of total functionals over the reals ⋮ Realizability models refuting Ishihara's boundedness principle ⋮ On the Computability of the Fan Functional ⋮ Exact real number computations relative to hereditarily total functionals.
This page was built for publication:
