Manifolds allowing RET arithmetic

DOI10.1305/NDJFL/1093870450MaRDI QIDQ790107zbMATH OpenOpenAlexFDO

Authors Leon Harkleroad

Publication date 1983

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870450

zbMATH Keywords

addition of recursive equivalence typesrecursively enumerable manifolds

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50)

Recommendations

• scientific article; zbMATH DE number 3896923
• scientific article; zbMATH DE number 4019044
• Iterated images on manifolds
• Realizability and recursive set theory
• The last question on recursively enumerable \(m\)-degrees

This page was built for publication: Manifolds allowing RET arithmetic

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