Fundamentals of generalized recursion theory
zbMath0597.03028MaRDI QIDQ1078561
Publication date: 1981
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
inductive definitionsadmissible ordinalsadmissible sets with urelementsenumeration operatorinductive and hyperelementary relationsMontague recursion theorysearch computabilitySmullyan's elementary formal systems
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (7)
This page was built for publication: Fundamentals of generalized recursion theory