Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium

zbMath0453.03047MaRDI QIDQ1148899

No author found.

Publication date: 1978

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

ProceedingsSymposiumcontinuous functionalsRecursion theoryalpha-recursionbeta recursionextendability of ZF modelsKM theory of classesOslovon Neumann hierarchy

Mathematics Subject Classification ID

Descriptive set theory (03E15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Set-theoretic model theory (03C55) Set theory (03E99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65) Inductive definability (03D70) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (8)

A feasible theory of truth over combinatory algebra ⋮ Understanding uniformity in Feferman's explicit mathematics ⋮ Locally hyperarithmetical induction ⋮ The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories ⋮ The provably terminating operations of the subsystem PETJ of explicit mathematics ⋮ Theories with self-application and computational complexity. ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator and join ⋮ Generalizing classical and effective model theory in theories of operations and classes

This page was built for publication: Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium