ENGLISH

Elementary Induction on Abstract Structures

By Yiannis N. Moschovakis (eds.)

Book information

Publisher
Elsevier Science
Year
1974
ISBN
978-0-444-10537-0
ISSN
0049-237X
Language
english
Format
PDF
Filesize
8 MB (8832996 bytes)
Series
Studies in Logic and the Foundations of Mathematics 77
Pages
iii-vii, 1-218\222
Topic
Mathematics Logic
Time added
2013-01-18 15:00:00

Description

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. The author, Professor of Mathematics at UCLA and Emeritus Professor of Mathematics,University of Athens, Greece, begins with a focus on the theory of inductive and hyperelementary sets. Subsequent chapters advance to acceptable structures and countable acceptable structures, concluding with the main result of the Barwise-Gandy-Moschovakis theory, which is the key to many applications of  abstract recursion theory. Exercises at the end of each chapter form an integral part of the text, offering examples useful to the development of the general theory and outlining the theory's extensions.

Similar books

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

2010 · PDF