Professor Rodney Downey and Associate Professor Alexander Melnikov both are affiliated with the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand.
Weiterlesen
Zuletzt erschienen
Computable Structure Theory
Rodney G. Downey
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...
