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

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)