scientific article; zbMATH DE number 3912367

MaRDI QIDQ3689175zbMATH OpenFDO

Authors Yiannis N. Moschovakis

Publication date 1981

zbMATH Keywords

recursion in higher typesselection theoremssemirecursive relation

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• On a theorem of MacCluer and Shapiro
• scientific article; zbMATH DE number 3247590
• On Grunwald-Wang's theorem.
• On the Grone-Merris conjecture
• On the Gronwall conjecture
• scientific article; zbMATH DE number 5037210
• On the Motzkin–Grünbaum theorem
• On McKay’s conjecture
• scientific article; zbMATH DE number 3913757
• On a theorem of Graham

Cited in

(4)

• The limits of E-recursive enumerability
• Inadmissible forcing
• Power set recursion
• On Tychonoff's type theorem via grills

This page was built for publication:

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