📖[PDF] Computable Structures and the Hyperarithmetical Hierarchy by C.J. Ash | Perlego
Get access to over 750,000 titles
Start your free trial today and explore our endless library.
Join perlego now to get access to over 750,000 books
Join perlego now to get access to over 750,000 books
Join perlego now to get access to over 750,000 books
Join perlego now to get access to over 750,000 books
Computable Structures and the Hyperarithmetical Hierarchy
Computable Structures and the Hyperarithmetical Hierarchy
Unavailable in your region
📖 Book - PDF

Computable Structures and the Hyperarithmetical Hierarchy

C.J. Ash, J. Knight
shareBook
Share book
pages
366 pages
language
English
format
ePUB (mobile friendly) and PDF
availableOnMobile
Available on iOS & Android
Unavailable in your region
📖 Book - PDF

Computable Structures and the Hyperarithmetical Hierarchy

C.J. Ash, J. Knight
Book details
Table of contents
Citations

About This Book

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).

Read More

Information

Publisher
Elsevier Science
Year
2000
ISBN
9780080529523
Topic
Mathematics
Subtopic
Applied Mathematics

Table of contents