Infinitary simultaneous recursion theorem

MaRDI QIDQ3615894zbMATH OpenFDO

Authors Diego J. Vaggione

Publication date 24 March 2009

Full work available at URL https://eudml.org/doc/42227

zbMATH Keywords

Double Recursion Theorem

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Infinitary self-reference in learning theory
• scientific article; zbMATH DE number 3849216
• Independence Results for n-Ary Recursion Theorems
• Effectivity questions for Kleene's recursion theorem
• Recursion theorems and effective domains

Cited in

(1)

• Independence Results for n-Ary Recursion Theorems

This page was built for publication: Infinitary simultaneous recursion theorem

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