Effectiveness - non effectiveness in semialgebraic and PL geometry

DOI10.1007/BF01233424zbMath0729.14040OpenAlexW1999099039MaRDI QIDQ805705

Riccardo Benedetti, Fabrizio Broglia, Francesca Acquistapace

Publication date: 1990

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/143831

zbMATH Keywords

effectiveness of the semi-algebraic ``HauptvermutungnondecidabilityPL-ball

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Recursively (computably) enumerable sets and degrees (03D25) Comparison of PL-structures: classification, Hauptvermutung (57Q25)

Related Items

Non‐recursive functions, knots “with thick ropes,” and self‐clenching “thick” hyperspheres, Disconnectedness of sublevel sets of some Riemannian functionals, Geometry of the space of triangulations of a compact manifold, Hardness of embedding simplicial complexes in \(\mathbb R^d\), \(h\)-cobordism and \(s\)-cobordism theorems: transfer over semialgebraic and Nash categories, uniform bound and effectiveness, Smoothing of real algebraic hypersurfaces by rigid isotopies, Nash triviality in families of Nash manifolds, Noncomputability arising in dynamical triangulation model of four- dimensional quantum gravity

Cites Work

• Triangulations of Subanalytic Sets and Locally Subanalytic Manifolds
• Isotopy in 3-Manifolds I. Isotopic Deformations of 2-Cells and 3-Cells
• An unshellable triangulation of a tetrahedron
• Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings
• THE PROBLEM OF DISCRIMINATING ALGORITHMICALLY THE STANDARD THREE-DIMENSIONAL SPHERE
• Shellable Decompositions of Cells and Spheres.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item