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 American Slavery As It Is by Yiannis N. Moschovakis
Cover of the book Anatomical Diagrams for Art Students by Yiannis N. Moschovakis
Cover of the book Wildflower Designs and Motifs for Artists and Craftspeople by Yiannis N. Moschovakis
Cover of the book 1000 Poems from the Manyoshu by Yiannis N. Moschovakis
Cover of the book Non-Equilibrium Statistical Mechanics by Yiannis N. Moschovakis
Cover of the book Mark Twain The Dover Reader by Yiannis N. Moschovakis
Cover of the book Technical Manual and Dictionary of Classical Ballet by Yiannis N. Moschovakis
Cover of the book The Rule of St. Benedict by Yiannis N. Moschovakis
Cover of the book Elements of Partial Differential Equations by Yiannis N. Moschovakis
Cover of the book Einstein's Theory of Relativity by Yiannis N. Moschovakis
Cover of the book Japanese Homes and Their Surroundings by Yiannis N. Moschovakis
Cover of the book Lunar Impact: The NASA History of Project Ranger by Yiannis N. Moschovakis
Cover of the book The Essential Marx by Yiannis N. Moschovakis
Cover of the book Primer of Quantum Mechanics by Yiannis N. Moschovakis
Cover of the book About Sketching 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