Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium

MaRDI QIDQ1148899zbMATH OpenFDO

Authors

Publication date 1978

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

zbMATH Keywords

continuous functionalsProceedingsSymposiumRecursion theoryalpha-recursionbeta recursionextendability of ZF modelsKM theory of classesOslovon Neumann hierarchy

Mathematics Subject Classification ID

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

Cited in

(8)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1148899)