Moschovakis, Yiannis N.
Overview
Works:  21 works in 137 publications in 2 languages and 4,703 library holdings 

Genres:  Conference proceedings Textbooks 
Roles:  Author, Editor 
Classifications:  QA248, 511.3 
Publication Timeline
.
Most widely held works by
Yiannis N Moschovakis
Descriptive set theory
by
Yiannis N Moschovakis(
)
23 editions published between 1979 and 2009 in English and Undetermined and held by 1,426 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
23 editions published between 1979 and 2009 in English and Undetermined and held by 1,426 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
Notes on set theory
by
Yiannis N Moschovakis(
Book
)
28 editions published between 1994 and 2006 in English and Undetermined and held by 1,082 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
28 editions published between 1994 and 2006 in English and Undetermined and held by 1,082 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
Elementary induction on abstract structures
by
Yiannis N Moschovakis(
Book
)
18 editions published between 1974 and 2008 in English and Undetermined and held by 520 WorldCat member libraries worldwide
Provability, Computability and Reflection
18 editions published between 1974 and 2008 in English and Undetermined and held by 520 WorldCat member libraries worldwide
Provability, Computability and Reflection
Cabal Seminar 7677 : proceedings, CaltechUCLA logic seminar 197677
by
A. S Kechris(
Book
)
17 editions published between 1978 and 1981 in English and held by 472 WorldCat member libraries worldwide
17 editions published between 1978 and 1981 in English and held by 472 WorldCat member libraries worldwide
Cabal seminar 7779 : proceedings, CaltechUCLA logic seminar 197779
by
Cabal Seminar(
Book
)
14 editions published between 1980 and 1981 in English and Undetermined and held by 455 WorldCat member libraries worldwide
14 editions published between 1980 and 1981 in English and Undetermined and held by 455 WorldCat member libraries worldwide
Cabal Seminar 7981 : proceedings, CaltechUCLA Logic Seminar 197981
by
A. S Kechris(
Book
)
11 editions published in 1983 in English and Undetermined and held by 436 WorldCat member libraries worldwide
11 editions published in 1983 in English and Undetermined and held by 436 WorldCat member libraries worldwide
Logic from computer science : proceedings of a workshop held November 1317, 1989
by
Yiannis N Moschovakis(
Book
)
11 editions published between 1991 and 1992 in English and German and held by 257 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
11 editions published between 1991 and 1992 in English and German and held by 257 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
Cabal Seminar 77  79 Proceedings, CaltechUCLA Logic Seminar 1977  79
by CaltechUCLA logic seminar(
)
in English and held by 24 WorldCat member libraries worldwide
in English and held by 24 WorldCat member libraries worldwide
Handbook of mathematical logic
by
Jon Barwise(
Book
)
1 edition published in 1977 in English and held by 9 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 9 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 3 WorldCat member libraries worldwide
1 edition published in 1978 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
Mathematische Logik : April 7th  April 13th, 2002
(
Book
)
1 edition published in 2002 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 2002 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
Cabal seminar 7677. Proceedings of the CaltechUCLA logic seminar 1976 77, Los Angeles, Calif. 197677 : CaltechUCLA logic seminar 19761977
(
Book
)
1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide
Cabal Seminar 7779 Proceedings. CaltechUCLA Logic Seminar 197779
by
A. S Kechris(
)
1 edition published in 1981 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1981 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
Cabal seminar 7779 : proceedings CaltechUCLA Logic Seminar 7779
by CaltechUCLA Logic Seminar(
Book
)
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Proceedings, CabalU.C.L.A. Logic Seminar 197779
by CaltechU.C.L.A(
Book
)
1 edition published in 1981 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1981 in Undetermined and held by 1 WorldCat member library worldwide
Global differential geometry and global analysis : proceedings of the colloquium held at the Technical University of Berlin, November 2124, 1979
by D Ferus(
Book
)
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
1 edition published in 1981 in English 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
Useful Links
Associated Subjects