Unrecognizability of manifolds

DOI10.1016/j.apal.2005.12.011zbMath1115.57014OpenAlexW1976521022MaRDI QIDQ2498916

A. V. Chernavskii, V. P. Leksin

Publication date: 16 August 2006

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.12.011

zbMATH Keywords

algorithmically non-recognizable manifoldunsolvable isomorphism problem for finitely presented groups

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Comparison of PL-structures: classification, Hauptvermutung (57Q25)

Related Items

Computing on Lattice-Ordered Abelian Groups ⋮ On the homeomorphism problem for 4-manifolds ⋮ Fans, decision problems and generators of free abelian \(\ell\)-groups ⋮ PL Morse theory in low dimensions ⋮ Complete and computable orbit invariants in the geometry of the affine group over the integers ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Frontiers of sphere recognition in practice

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive unsolvability of group theoretic problems
• Generalized Poincaré's conjecture in dimensions greater than four
• Theorie der Normalflächen. Ein Isotopiekriterium für den Kreisknoten
• An algorithm to decide if a 3-manifold is a Haken manifold
• On the Markov theorem on algorithmic nonrecognizability of manifolds
• An algorithm for recognizing \(S^ 3\) in 3-manifolds with Heegaard splittings of genus two
• Train-tracks for surface homeomorphisms
• Thin position and the recognition problem for \(S^ 3\)
• Eine Klasse von 3-dimensionalen Mannigfaltigkeiten. I, II
• On the homology theory of central group extensions. I: The commutator map and stem extensions
• On the Structure of Manifolds
• Three dimensional manifolds, Kleinian groups and hyperbolic geometry
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• Recognition algorithms in knot theory
• On the recursiveness of sets of presentations of 3-manifold groups
• Algorithmic topology and classification of 3-manifolds