Rational homotopy type and computability
From MaRDI portal
Publication:6072332
DOI10.1007/s10208-022-09582-8arXiv2007.10632MaRDI QIDQ6072332
Publication date: 13 October 2023
Published in: Foundations of Computational Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2007.10632
Rational homotopy theory (55P62) Homotopy groups, general; sets of homotopy classes (55Q05) Undecidability and degrees of sets of sentences (03D35) Computational methods for problems pertaining to algebraic topology (55-08)
Cites Work
- Fibrewise rational H-spaces
- Decidability of the extension problem for maps into odd-dimensional spheres
- Finite computability of Postnikov complexes
- Integral and rational mapping classes
- Ranks of twists of elliptic curves and Hilbert's tenth problem
- Infinitesimal computations in topology
- The computability problem in algebraic topology
- Constructive algebraic topology
- Are two given maps homotopic? An algorithmic viewpoint
- Algorithmic solvability of the lifting-extension problem
- Geometric topology. Localization, periodicity and Galois symmetry. The 1970 MIT Notes. Edited by A. Ranicki
- Extendability of continuous maps is undecidable
- Higher order Whitehead products
- On characteristics classes for spherical fibre spaces
- Rational homotopy theory
- \(H\)-spaces from a homotopy point of view
- On axiomatic homology theory
- Interoperating between computer algebra systems
- Computing All Maps into a Sphere
- Sullivan's Minimal Models and Higher Order Whitehead Products
- Hilbert's Tenth Problem for Quadratic Rings
- Diophantine Sets over Some Rings of Algebraic Integers
- Polynomial-Time Computation of Homotopy Groups and Postnikov Systems in Fixed Dimension
- Rational Homotopy Theory II
- Rational homotopy theory and differential forms
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Rational homotopy type and computability
