scientific article; zbMATH DE number 934870

MaRDI QIDQ4895355zbMATH OpenFDO

Authors Yuri L. Ershov

Publication date 14 October 1996

zbMATH Keywords

admissible setGandy theoremGödel incompleteness theorempartial recursive functionrecursively enumerable relationsemantic programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cited in

(3)

• scientific article; zbMATH DE number 3857076 (Why is no real title available?)
• scientific article; zbMATH DE number 890268 (Why is no real title available?)
• scientific article; zbMATH DE number 934359 (Why is no real title available?)

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 Q4895355)