Computable Structure Theory

A Unified Approach

Inbunden, Engelska, 2025

AvRodney G. Downey,Alexander Melnikov

2 089 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2025-08-22
Mått155 x 235 x 37 mm
Vikt978 g
FormatInbunden
SpråkEngelska
SerieTheory and Applications of Computability
Antal sidor540
FörlagSpringer International Publishing AG
ISBN9783031924323

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Hårdvara inom Data och it
Matematikens grunder inom Naturvetenskap och teknik

Part I Foundation of Computability.- 1. Introduction.- 2. Basics of Computability Theory.- 3. Computable Algebraic Structures.- 4. Computable Separable Spaces.- Part II Computable Duality.- 5. Computable Boolean Algebras.- 6. Computable Stone Spaces.- 7. Computable Abelian Groups.- 8. Computable Connected Compact Spaces.- Part III Computability and Classification Problems. 9. The Analytical Hierarchy and Σ11-completeness.- 10. Computable Categoricity.- 11. Computable Banach Spaces with Applications.- 12. Resource Bounded Computation.- Part IV Non-computability and Randomness. 13. Randomness.- 14. Degree Spectra.- 15.- Computable Transfinite Analysis.

Mer från samma författare

Parameterized Complexity

Parameterized Complexity

Rodney G. Downey, M.R. Fellows, M. R. Fellows

3 349 kr

Algorithmic Randomness and Complexity

Algorithmic Randomness and Complexity

Rodney G. Downey, Denis R. Hirschfeldt, Rodney G Downey, Denis R Hirschfeldt

1 979 kr

Fundamentals of Parameterized Complexity

Fundamentals of Parameterized Complexity

Rodney G. Downey, Michael R. Fellows

1 779 kr

Fundamentals of Parameterized Complexity

Fundamentals of Parameterized Complexity

Rodney G. Downey, Michael R. Fellows

1 239 kr

Parameterized Complexity

Parameterized Complexity

Rodney G. Downey, M.R. Fellows, M. R. Fellows

3 329 kr

Algorithmic Randomness and Complexity

Algorithmic Randomness and Complexity

Rodney G. Downey, Denis R. Hirschfeldt

1 409 kr

Proceedings Of The 7th And 8th Asian Logic Conferences

Proceedings Of The 7th And 8th Asian Logic Conferences

DOWNEY ROD, Rodney G Downey, Decheng Ding, Shih Ping Tung, Yu Hui Qiu, Mariko Yasugi, Rodney G. Downey

3 219 kr

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

DOWNEY R, Sergey S Goncharov, Hiroakira Ono, Rodney G Downey, Russia) Goncharov, Sergei S (Russian Academy Of Sci, Japan) Ono, Hiroakira (Japan Advanced Inst Of Sci & Tech, New Zealand) Downey, Rodney G (Victoria Univ Of Wellington, Sergey S. Goncharov

2 729 kr

Proceedings Of The 10th Asian Logic Conference

Proceedings Of The 10th Asian Logic Conference

ARAI T, Chi Tat Chong, Rodney G Downey, Qi Feng, Hirotaka Kikyo, Hiroakira Ono, Toshiyasu Arai, Jorg Brendle, S'pore) Chong, Chi Tat (Nus, New Zealand) Downey, Rodney G (Victoria Univ Of Wellington, China) Feng, Qi (Chinese Academy Of Sciences, Japan) Kikyo, Hirotaka (Kobe Univ, Japan) Ono, Hiroakira (Japan Advanced Inst Of Sci & Tech, Japan) Arai, Toshiyasu (Chiba Univ, Japan) Brendle, Jorg (Kobe University, Rodney G. Downey

2 109 kr

Proceedings Of The 12th Asian Logic Conference

Proceedings Of The 12th Asian Logic Conference

DOWNEY ROD, Downey Rod, Rodney G Downey, Jorg Brendle, Robert Goldblatt, Byunghan Kim, New Zealand) Downey, Rodney G (Victoria Univ Of Wellington, Japan) Brendle, Jorg (Kobe University, New Zealand) Goldblatt, Robert (Victoria Univ Of Wellington, South Korea) Kim, Byunghan (Yonsei Univ, Rodney G. Downey

2 299 kr

Du kanske också är intresserad av