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)

Review text

In a previous paper the author generalized the theory of recursive equivalence types to recursively enumerable manifolds. Roughly speaking this is analogous to extending a theory from Euclidean spaces to spaces which are locally Euclidean. Certain strong conditions were imposed on the manifold in order to make it possible to define addition of RETs. In this paper it is shown by means of counter-examples that these conditions are necessary.

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)