Moschovakis, Yiannis N.
Overview
Works:  21 works in 163 publications in 2 languages and 5,281 library holdings 

Genres:  Conference papers and proceedings Textbooks 
Roles:  Author, Editor, Other 
Classifications:  QA248, 511.3 
Publication Timeline
.
Most widely held works by
Yiannis N Moschovakis
Notes on set theory by
Yiannis N Moschovakis(
Book
)
34 editions published between 1994 and 2006 in English and Undetermined and held by 748 WorldCat member libraries worldwide
"The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. At the same time, it is often viewed as a foundation of mathematics so that in the most prevalent, current mathematical practice "to make a notion precise" simply means "to define it in set theory." This book tries to do justice to both aspects of the subject: it gives a solid introduction to "pure set theory" through transfinite recursion and the construction of the cumulative hierarchy of sets (including the basic results that have applications to computer science), but it also attempts to explain precisely how mathematical objects can be faithfully modeled within the universe of sets." "Topics covered include the naive theory of equinumerosity; paradoxes and axioms; modeling mathematical notions by sets; cardinal numbers; natural numbers; fixed points (continuous leastfixedpoint theorem); wellordered sets (transfinite induction and recursion, Hartogs' theorem, comparability of wellordered sets, leastfixedpoint theorem); the Axiom of Choice and its consequences; Baire space (CantorBendixson theorem, analytic pointsets, perfect set theorem); Replacement and other axioms; ordinal numbers. There is an Appendix on the real numbers and another on natural models, including the antifounded universe." "The book is aimed at advanced undergraduate or beginning graduate mathematics students and at mathematically minded graduate students of computer science and philosophy."Jacket
34 editions published between 1994 and 2006 in English and Undetermined and held by 748 WorldCat member libraries worldwide
"The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. At the same time, it is often viewed as a foundation of mathematics so that in the most prevalent, current mathematical practice "to make a notion precise" simply means "to define it in set theory." This book tries to do justice to both aspects of the subject: it gives a solid introduction to "pure set theory" through transfinite recursion and the construction of the cumulative hierarchy of sets (including the basic results that have applications to computer science), but it also attempts to explain precisely how mathematical objects can be faithfully modeled within the universe of sets." "Topics covered include the naive theory of equinumerosity; paradoxes and axioms; modeling mathematical notions by sets; cardinal numbers; natural numbers; fixed points (continuous leastfixedpoint theorem); wellordered sets (transfinite induction and recursion, Hartogs' theorem, comparability of wellordered sets, leastfixedpoint theorem); the Axiom of Choice and its consequences; Baire space (CantorBendixson theorem, analytic pointsets, perfect set theorem); Replacement and other axioms; ordinal numbers. There is an Appendix on the real numbers and another on natural models, including the antifounded universe." "The book is aimed at advanced undergraduate or beginning graduate mathematics students and at mathematically minded graduate students of computer science and philosophy."Jacket
Descriptive set theory by
Yiannis N Moschovakis(
Book
)
14 editions published between 1979 and 1980 in English and Undetermined and held by 439 WorldCat member libraries worldwide
Now available in paperback, this monograph is a selfcontained exposition of the main results and methods of descriptive set theory. It develops all the necessary background material from logic and recursion theory, and treats both classical descriptive set theory and the effective theory developed by logicians
14 editions published between 1979 and 1980 in English and Undetermined and held by 439 WorldCat member libraries worldwide
Now available in paperback, this monograph is a selfcontained exposition of the main results and methods of descriptive set theory. It develops all the necessary background material from logic and recursion theory, and treats both classical descriptive set theory and the effective theory developed by logicians
Elementary induction on abstract structures by
Yiannis N Moschovakis(
Book
)
19 editions published between 1974 and 2014 in English and Undetermined and held by 436 WorldCat member libraries worldwide
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, concl
19 editions published between 1974 and 2014 in English and Undetermined and held by 436 WorldCat member libraries worldwide
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, concl
Cabal Seminar 7677 : proceedings, CaltechUCLA logic seminar 197677 by
A. S Kechris(
Book
)
20 editions published between 1978 and 1981 in English and Undetermined and held by 368 WorldCat member libraries worldwide
20 editions published between 1978 and 1981 in English and Undetermined and held by 368 WorldCat member libraries worldwide
Cabal seminar 7779 : proceedings, CaltechUCLA logic seminar 197779 by
Cabal Seminar(
Book
)
19 editions published between 1980 and 1981 in English and Undetermined and held by 368 WorldCat member libraries worldwide
19 editions published between 1980 and 1981 in English and Undetermined and held by 368 WorldCat member libraries worldwide
Cabal Seminar 7981 : proceedings, CaltechUCLA Logic Seminar 197981 by
A. S Kechris(
Book
)
15 editions published in 1983 in English and Undetermined and held by 335 WorldCat member libraries worldwide
15 editions published in 1983 in English and Undetermined and held by 335 WorldCat member libraries worldwide
Logic from computer science : proceedings of a workshop held November 1317, 1989 by
Yiannis N Moschovakis(
Book
)
13 editions published between 1991 and 1992 in English and German and held by 246 WorldCat member libraries worldwide
Topics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional Programs by Solomon Feferman, Reals and Forcing with Elementary Topos by the well known mathematician, Saunders MacLane and Ieke Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode
13 editions published between 1991 and 1992 in English and German and held by 246 WorldCat member libraries worldwide
Topics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional Programs by Solomon Feferman, Reals and Forcing with Elementary Topos by the well known mathematician, Saunders MacLane and Ieke Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode
Descriptive set theory by
Yiannis N Moschovakis(
Book
)
11 editions published in 2009 in English and held by 234 WorldCat member libraries worldwide
"This monograph develops Descriptive Set Theory systematically, from its classical roots to the modern "effective" theory and the consequences of strong (especially determinacy) hypotheses. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results (established since the 1980s) relating large cardinals and determinacy or allowing applications of Descriptive Set Theory to classical mathematics." "The book includes all the necessary background from (advanced) set theory, logic and recursion theory."Jacket
11 editions published in 2009 in English and held by 234 WorldCat member libraries worldwide
"This monograph develops Descriptive Set Theory systematically, from its classical roots to the modern "effective" theory and the consequences of strong (especially determinacy) hypotheses. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results (established since the 1980s) relating large cardinals and determinacy or allowing applications of Descriptive Set Theory to classical mathematics." "The book includes all the necessary background from (advanced) set theory, logic and recursion theory."Jacket
Cabal Seminar 77  79 Proceedings, CaltechUCLA Logic Seminar 1977  79 by
A. S Kechris(
)
2 editions published in 1981 in English and held by 29 WorldCat member libraries worldwide
2 editions published in 1981 in English and held by 29 WorldCat member libraries worldwide
Handbook of mathematical logic by
Jon Barwise(
Book
)
1 edition published in 1977 in English and held by 10 WorldCat member libraries worldwide
The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for nonspecialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own
1 edition published in 1977 in English and held by 10 WorldCat member libraries worldwide
The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for nonspecialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own
Cabal Seminar 7677 Proceedings. CaltechUCLA Logic Seminar 197677 by
A. S Kechris(
)
1 edition published in 1978 in English and held by 6 WorldCat member libraries worldwide
1 edition published in 1978 in English and held by 6 WorldCat member libraries worldwide
Mathematische Logik : April 7th  April 13th, 2002(
Book
)
1 edition published in 2002 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 2002 in English and held by 4 WorldCat member libraries worldwide
Logic from Computer Science Proceedings of a Workshop held November 1317, 1989 by
Yiannis N Moschovakis(
)
1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide
Mathematische Logik : 18.01.  24.01.1998(
Book
)
2 editions published in 1998 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1998 in English and held by 3 WorldCat member libraries worldwide
Recursive analysis by
Yiannis N Moschovakis(
)
1 edition published in 1963 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1963 in English and held by 2 WorldCat member libraries worldwide
Logic from computer science : Workshop : Papers(
)
1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide
Descriptive set theory by
Yiannis N Moschovakis(
)
4 editions published between 1987 and 2009 in English and held by 2 WorldCat member libraries worldwide
Annotation
4 editions published between 1987 and 2009 in English and held by 2 WorldCat member libraries worldwide
Annotation
Logic colloquium 2009 : Sofia, Bulgaria, 31 July05 August 2009(
)
1 edition published in 2011 in English and held by 1 WorldCat member library worldwide
1 edition published in 2011 in English and held by 1 WorldCat member library worldwide
Descriptive Set Theory (Studies in logic and the foundations of mathematics ; 100) by
Yiannis N Moschovakis(
Book
)
1 edition published in 1980 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1980 in Undetermined and held by 1 WorldCat member library worldwide
Set theory notes by
Yiannis N Moschovakis(
Book
)
1 edition published in 1991 in English and held by 1 WorldCat member library worldwide
1 edition published in 1991 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Kechris, A. S. 1946 Other Author Editor
 Martin, D. A. (Donald A.) 1940 Other Author Editor
 Martin, Donald
 SpringerLink (Service en ligne)
 Cabal Seminar
 California institute of technology Other
 University of California Los Angeles Other
 Troelstra, A. S.
 Keisler, Howard Jerome
 Barwise, Jon
Useful Links
Alternative Names
Moschovakis, Y. N.
Moschovakis, Y. N. 1938
Moschovakis, Y. N. (Yiannis N.)
Moschovakis, Yiannis.
Moschovakis, Yiannis 1938
Moschovakis, Yiannis N.
Moschovakis, Yiannis Nicholas
Moschovakis, Yiannis Nicholas 1938
Yiannis Moschovakis
Yiannis N. Moschovakis
Yiannis N. Moschovakis American logician
Yiannis N. Moschovakis Amerikaans wiskundige
Yiannis N. Moschovakis amerikansk matematikar
Yiannis N. Moschovakis amerikansk matematiker
Yiannis N. Moschovakis USamerikanischer Logiker
Γιάννης Μοσχοβάκης
Languages
Covers