Manifolds allowing RET arithmetic

DOI10.1305/NDJFL/1093870450zbMATH Open0534.03021OpenAlexW2057050321MaRDI QIDQ790107FDOQ790107

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

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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)