Generalized recursion theory. Proceedings of the 1972 Oslo symposium

MaRDI QIDQ758957zbMATH OpenFDO

Authors

Publication date 1974

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

Mathematics Subject Classification ID

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

Cited in

(3)

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

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)