Generalized recursion theory. Proceedings of the 1972 Oslo symposium

zbMATH Open0272.00006MaRDI QIDQ758957FDOQ758957

Authors:

Publication date: 1974

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

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Computability and recursion theory (03Dxx) Conference proceedings and collections of articles (00Bxx)

Cited In (3)

• Inductive definability in formal language theory
• α-Degrees of maximal α-r.e. sets
• On the proof-theoretic strength of monotone induction in explicit mathematics

This page was built for publication: Generalized recursion theory. Proceedings of the 1972 Oslo symposium

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