Computable Structure Theory: A Unified Approach - Couverture rigide

Downey, Rodney G.; Melnikov, Alexander

 
9783031924323: Computable Structure Theory: A Unified Approach
Couverture rigide
ISBN 10 : 3031924320 ISBN 13 : 9783031924323
Editeur : Springer International Publishing AG, 2025

Synopsis

This is the first book which gives a unified theory for countable and uncountable computable structures.

The work treats computable linear orderings, graphs, groups and Boolean algebras unified with computable metric and Banach spaces, profinite groups, and the like. Further, it provides the first account of these that exploits effective versions of dualities, such as Stone and Pontryagin dualities. The themes are effective classification and enumeration.

Topics and features:

- - - - -

This unique volume is aimed at graduate students and researchers in computability theory, as well as mathematicians seeking to understand the algorithmic content of structure theory. Being self-contained, it provides ample opportunity for self-study.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Professor Rodney Downey and Associate Professor Alexander Melnikov both are affiliated with the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer International Publishing AG
Date d'édition
2025
Langue
anglais
ISBN 10 
3031924320
ISBN 13 
9783031924323
Reliure
Relié
Nombre de pages
552
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne