Recursive and recursively enumerable manifolds. I

DOI10.1305/NDJFL/1093887932zbMath0306.02035OpenAlexW4229852728MaRDI QIDQ1217801

Vladeta Vuckovic

Publication date: 1977

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

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

Mathematics Subject Classification ID

Global differential geometry (53C99) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

This page was built for publication: Recursive and recursively enumerable manifolds. I