WorldCat Identities

Moschovakis, Yiannis N.

Overview
Works: 23 works in 135 publications in 2 languages and 4,390 library holdings
Genres: Conference proceedings  Textbooks 
Roles: Editor
Classifications: QA248, 511.3
Publication Timeline
Key
Publications about  Yiannis N Moschovakis Publications about Yiannis N Moschovakis
Publications by  Yiannis N Moschovakis Publications by Yiannis N Moschovakis
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 self-contained 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 least-fixed-point theorem); well-ordered sets (transfinite induction and recursion, Hartogs' theorem, comparability of well-ordered sets, least-fixed-point theorem); the Axiom of Choice and its consequences; Baire space (Cantor-Bendixson 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 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 by Cabal Seminar ( Book )
14 editions published between 1978 and 1981 in English and held by 423 WorldCat member libraries worldwide
Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 by Cabal Seminar ( Book )
14 editions published between 1980 and 1981 in English and held by 412 WorldCat member libraries worldwide
Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 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 13-17, 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, Caltech-UCLA 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 76-77 : Proceedings, Caltech-UCLA Logic Seminar 1976-77 ( )
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 non-specialists 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 79-81 Proceedings. Caltech-UCLA Logic Seminar 1979-81 by A. S Kechris ( )
1 edition published in 1983 in English and held by 3 WorldCat member libraries worldwide
Cabal Seminar 76-77 Proceedings. Caltech-UCLA Logic Seminar 1976-77 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 76-77. Proceedings of the Caltech-UCLA logic seminar 1976 77, Los Angeles, Calif. 1976-77 : Caltech-UCLA logic seminar 1976-1977 ( 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 76-77 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.00 for Mathematis ... to 1.00 for Set theory ...)
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
English (127)
German (1)
Covers