Computability Results Used in Differential Geometry

DOI10.2178/JSL/1164060462MaRDI QIDQ3416121zbMATH OpenOpenAlexWikidataFDO

Authors Robert I. Soare, Barbara Csima

Publication date 19 January 2007

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/b0a7ab960014e78491fde7d96db9e895bd6c2695

zbMATH Keywords

Computably enumerable setsgeometric complexitysequences of c.e. setssettling times

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Applications of computability and recursion theory (03D80)

Recommendations

• Computability Theory and Differential Geometry
• Computers, Rigidity, and Moduli
• The settling-time reducibility ordering
• Comparing C.E. Sets Based on Their Settling Times
• Compact manifolds with computable boundaries

Cites work

• Computability Theory and Differential Geometry
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 225477 (Why is no real title available?)
• Randomness and reducibility
• The fractal nature of Riem/Diff. I.
• The ibT degrees of computably enumerable sets are not dense

Cited in

(12)

• Turing oracle machines, online computing, and three displacements in computability theory
• Computability and Beltrami fields in Euclidean space
• The ibT degrees of computably enumerable sets are not dense
• Computers, Rigidity, and Moduli
• scientific article; zbMATH DE number 7376056 (Why is no real title available?)
• Working with strong reducibilities above totally -c.e. and array computable degrees
• The settling-time reducibility ordering
• Comparing C.E. Sets Based on Their Settling Times
• Computability Theory and Differential Geometry
• The computable Lipschitz degrees of computably enumerable sets are not dense
• An arithmetic analysis of closed surfaces
• Nonrealizability proofs in computational geometry

This page was built for publication: Computability Results Used in Differential Geometry

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