scientific article; zbMATH DE number 7139148

MaRDI QIDQ4973206zbMATH OpenFDO

Authors M. V. Dorzhieva

Publication date 2 December 2019

Full work available at URL http://mathnet.ru/eng/vngu471

zbMATH Keywords

analytical hierarchyenumerationFriedberg enumerationminimal enumeration

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Hierarchies of computability and definability (03D55)

Recommendations

• scientific article; zbMATH DE number 2167508
• Friedberg splittings of recursively enumerable sets
• Infinite family of \(\Sigma_a^{-1}\)-sets with a unique computable numbering
• Friedberg numberings in the Ershov hierarchy
• Friedberg numberings in the Ershov hierarchy
• An infinite family of \(\Sigma_a^{-1}\)-sets with a unique computable numbering
• Friedberg numberings of families of partial computable functionals
• scientific article; zbMATH DE number 1048046
• scientific article; zbMATH DE number 3857079
• A note on direct sums of Friedbergnumberings

Cited in

(9)

• Computable positive and Friedberg numberings in hyperarithmetic
• Computable numberings of families of infinite sets
• Partial decidable presentations in hyperarithmetic
• An infinite family of \(\Sigma_a^{-1}\)-sets with a unique computable numbering
• On a positive set theory with inequality
• scientific article; zbMATH DE number 4191614 (Why is no real title available?)
• scientific article; zbMATH DE number 2167508 (Why is no real title available?)
• Elimination of metarecursion in a theorem of Owings
• Friedberg numberings in the Ershov hierarchy

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