Computable Structures and the Hyperarithmetical Hierarchy / Najlacnejšie knihy
Computable Structures and the Hyperarithmetical Hierarchy

Code: 04610691

Computable Structures and the Hyperarithmetical Hierarchy

by C.J. Ash, J. Knight

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 st ... more

147.23


In stock at our supplier
Shipping in 10 - 18 days
Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Computable Structures and the Hyperarithmetical Hierarchy

You get 356 loyalty points

Book synopsis

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).

Book details

Book category Knihy po anglicky Mathematics & science Science: general issues Maths for scientists

147.23

Trending among others



Osobný odber Bratislava a 12837 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies


Môj účet: Prihlásiť sa
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Nákupný košík ( prázdny )

Vyzdvihnutie v Zásielkovni
zadarmo nad 59,99 €.

Nachádzate sa: