Elementary Induction on Abstract Structures

Nonfiction, Science & Nature, Mathematics, Logic
Cover of the book Elementary Induction on Abstract Structures by Yiannis N. Moschovakis, Dover Publications
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Yiannis N. Moschovakis ISBN: 9780486152011
Publisher: Dover Publications Publication: June 10, 2014
Imprint: Dover Publications Language: English
Author: Yiannis N. Moschovakis
ISBN: 9780486152011
Publisher: Dover Publications
Publication: June 10, 2014
Imprint: Dover Publications
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Dover Publications

Cover of the book Fruit Key and Twig Key to Trees and Shrubs by Yiannis N. Moschovakis
Cover of the book Woman's Life in Colonial Days by Yiannis N. Moschovakis
Cover of the book The Book of Signs by Yiannis N. Moschovakis
Cover of the book The History of Rome by Yiannis N. Moschovakis
Cover of the book A Narrative of Events by Yiannis N. Moschovakis
Cover of the book The Story of Electricity by Yiannis N. Moschovakis
Cover of the book Human Anatomy for Artists by Yiannis N. Moschovakis
Cover of the book Heraldic Designs for Artists and Craftspeople by Yiannis N. Moschovakis
Cover of the book Legends and Romances of Brittany by Yiannis N. Moschovakis
Cover of the book Mathematical Foundations of Statistical Mechanics by Yiannis N. Moschovakis
Cover of the book Non-Riemannian Geometry by Yiannis N. Moschovakis
Cover of the book The Theory and Practice of the Mandala by Yiannis N. Moschovakis
Cover of the book Mechanics by Yiannis N. Moschovakis
Cover of the book Language, Truth and Logic by Yiannis N. Moschovakis
Cover of the book The Republic by Yiannis N. Moschovakis
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy