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 Great Speeches of the 20th Century by Yiannis N. Moschovakis
Cover of the book Anthropology and Modern Life by Yiannis N. Moschovakis
Cover of the book Illustrated Encyclopedia of World Railway Locomotives by Yiannis N. Moschovakis
Cover of the book The Black Tulip by Yiannis N. Moschovakis
Cover of the book Introduction to Spanish Poetry by Yiannis N. Moschovakis
Cover of the book The Rule of St. Benedict by Yiannis N. Moschovakis
Cover of the book A Philosophical Enquiry into the Origin of our Ideas of the Sublime and Beautiful by Yiannis N. Moschovakis
Cover of the book Learn to Draw Comics by Yiannis N. Moschovakis
Cover of the book Heraldry: A Pictorial Archive for Artists and Designers by Yiannis N. Moschovakis
Cover of the book Complete Shorter Works for Solo Piano by Yiannis N. Moschovakis
Cover of the book Science and Hypothesis by Yiannis N. Moschovakis
Cover of the book Easy Carpentry Projects for Children by Yiannis N. Moschovakis
Cover of the book The Unity of the Universe by Yiannis N. Moschovakis
Cover of the book Antigone by Yiannis N. Moschovakis
Cover of the book Introduction to Differential Geometry for Engineers 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