Applied

Computable Structures and the Hyperarithmetical Hierarchy

Name: Computable Structures and the Hyperarithmetical Hierarchy
Brand: Elsevier
SKU: 9780444500724
Price: 14328.00 INR
Availability: InStock
ISBN: 9780444500724

COMPUTABLE STRUCTURES & THE HY

Contributor(s): Ash, C. J. Author , Knight, J. Author , Sevenster, Arjen Editor Format: Hardback

Hardback · ISBN 9780444500724

₹14,328

Inclusive of GST and other taxes

100% Quality Assurance

No Account Creation Required

Fast Delivery

Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN	9780444500724
Subtitle	COMPUTABLE STRUCTURES & THE HY
Publisher	Elsevier
Publication date	June 2000
Language	English
MRP	£102.00 GBP
Page count	364
Item weight	151 g

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

Computable Structures and the Hyperarithmetical Hierarchy

Key Specifications

Ash, C. J. Author

Knight, J. Author

Sevenster, Arjen Editor

Related titles