Moschovakis, Yiannis N.Overview
Publication Timeline
Most widely held works by
Yiannis N Moschovakis
Descriptive set theory
by Yiannis N Moschovakis
(
Book
)
22 editions published between 1979 and 2009 in English and Undetermined and held by 1,273 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
)
27 editions published between 1994 and 2006 in English and Undetermined and held by 1,060 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."BOOK JACKET
Elementary induction on abstract structures
by Yiannis N Moschovakis
(
Book
)
17 editions published between 1974 and 2008 in English and Undetermined and held by 485 WorldCat member libraries worldwide Provability, Computability and Reflection
Cabal Seminar 7677 : proceedings, CaltechUCLA logic seminar 197677
by Cabal Seminar
(
Book
)
14 editions published between 1978 and 1981 in English and held by 423 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 held by 412 WorldCat member libraries worldwide
Cabal Seminar 7981 : proceedings, CaltechUCLA Logic Seminar 197981
by Cabal Seminar
(
Book
)
10 editions published in 1983 in English and held by 400 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 245 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 A. S Kechris
(
)
3 editions published in 1981 in English and held by 41 WorldCat member libraries worldwide
Cabal Seminar 7677 : Proceedings, CaltechUCLA Logic Seminar 197677
(
)
2 editions published in 1978 in English and held by 19 WorldCat member libraries worldwide
Handbook of mathematical logic
by Jon Barwise
(
Book
)
1 edition published in 1977 in English and held by 7 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 7981 Proceedings. CaltechUCLA Logic Seminar 197981
by A. S Kechris
(
)
1 edition published in 1983 in English and held by 3 WorldCat member libraries worldwide
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
Mathematische Logik : 18.01.  24.01.1998
(
Book
)
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
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
Recursive analysis
by Yiannis N Moschovakis
(
Book
)
1 edition published in 1963 in English and held by 2 WorldCat member libraries worldwide
Cabal Seminar 7677
by A. S Kechris
(
Book
)
1 edition published in 1978 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
Logic Colloquium 2009 : [... the European Summer Meeting of the Association for Symbolic Logic, was hosted by the Sofia University from July 31 to August 5, 2009]
by Logic Colloquium
(
)
1 edition published in 2011 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 more
fewer
Audience Level
Related Identities

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
Languages
Covers
