scientific article; zbMATH DE number 934870

MaRDI QIDQ4895355zbMATH OpenFDO

Authors Yuri L. Ershov

Publication date 14 October 1996

zbMATH Keywords

admissible setsemantic programmingpartial recursive functionGödel incompleteness theoremGandy theoremrecursively enumerable relation

Mathematics Subject Classification ID

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

Cited in

(1)

• scientific article; zbMATH DE number 3857076 (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)