scientific article; zbMATH DE number 1235084

zbMath0920.03053MaRDI QIDQ4223288

Qing Zhou

Publication date: 9 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

primitive recursive set functionsrecursive formulae on setsrecursive set functions

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Recursive functions and relations, subrecursive hierarchies (03D20) Higher-type and set recursion theory (03D65)

This page was built for publication: