 |
|
| COMPUTABLE STRUCTURES AND THE HYPERARITHMETICAL HIERARCHY, 144
| |
| | |
|
|
To order this title, and for more information, click here
By
C.J. Ash
J. Knight, University of Notre Dame, Department of Mathematics, Notre Dame, IN, USA
Included in series
Studies in Logic and the Foundations of Mathematics, 144
Description
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).
Contents
Preface. Computability. The arithmetical hierarchy. Languages and structures. Ordinals. The hyperarithmetical hierarchy. Infinitary formulas.
Computable infinitary formulas. The Barwise-Kreisel Compactness Theorem. Existence of computable structures. Completeness and forcing.
The Ash-Nerode Theorem. Computable categoricity and stability. n-systems. α-systems. Back-and forth relations. Theorems
of Barker and Davey. Pairs of computable structures. Models of arithmetic. Special classes of structures.
| Bibliographic details |
Hardbound, 366 pages, publication date: JUN-2000
ISBN-13: 978-0-444-50072-4
ISBN-10: 0-444-50072-3
Imprint: ELSEVIER
|
| Price and Ordering |
Price:
EUR 94.95
USD 133
GBP 80.99
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
050/500
Last update: 4 Sep 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company