The computability problem in algebraic topology
type: Item
instance of: scholarly article
title: The computability problem in algebraic topology
zbMATH Open document ID: 0823.55011
author: Francis Sergeraert
published in: Advances in Mathematics
publication date: 1995-10-30T00:00:00Z
review text: It is proved that almost every reasonable computability problem in homological algebra and algebraic topology has a positive solution. Though lots of computations carried out in algebraic topology can be reduced to successive applications of cone exact sequences and Serre and Eilenberg-Moore spectral sequences, however, with the techniques explained in this paper, these computation methods become actual algorithms open to theoretical (computability) and concrete applications (finding on machines homology or homotopy groups unknown until now).
Mathematics Subject Classification ID: 55P99
Mathematics Subject Classification ID: 68U99
zbMATH DE Number: 611206
zbMATH Keywords: free groups
zbMATH Keywords: \(K\)-theory
zbMATH Keywords: Serre spectral sequence
zbMATH Keywords: computability problem in homological algebra
zbMATH Keywords: cone exact sequences
zbMATH Keywords: Eilenberg-Moore spectral sequences
reviewed by: Bai Kishan Dass
MaRDI profile type: Publication
OpenAlex ID: W2020401767
DOI: 10.1006/AIMA.1994.1018
description: scientific article; zbMATH DE number 611206