On constructive and enumerable sets

DOI10.1070/RM1985V040N03ABEH003600MaRDI QIDQ3712324zbMATH OpenFDO

Authors P. P. Lorents

Publication date 1985

Published in Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/RM1985V040N03ABEH003600

zbMATH Keywords

constructive setshereditarily enumerablenonconstructive ordinalnumber-theoretic function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Publication:3487333
• RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS
• Computable numberings of families of infinite sets
• Productive sets and constructively nonpartial-recursive functions
• On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations

Cited in

(12)

• Constructive sets in computable sets
• A theory of rules for enumerated classes of functions
• Constructive theory of enumerable species
• scientific article; zbMATH DE number 5994597 (Why is no real title available?)
• scientific article; zbMATH DE number 4160713 (Why is no real title available?)
• On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations
• scientific article; zbMATH DE number 4089516 (Why is no real title available?)
• scientific article; zbMATH DE number 2094758 (Why is no real title available?)
• scientific article; zbMATH DE number 3323829 (Why is no real title available?)
• On decomposition of Gödelnumberings into Friedbergnumberings
• Constructive Theory of Ordinals
• Constructions of complete sets

This page was built for publication: On constructive and enumerable sets

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