WorldCat Identities

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 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."--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 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
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
Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 by A. S Kechris( Book )

20 editions published between 1978 and 1981 in English and Undetermined and held by 368 WorldCat member libraries worldwide

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 by Cabal Seminar( Book )

19 editions published between 1980 and 1981 in English and Undetermined and held by 368 WorldCat member libraries worldwide

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 by A. S Kechris( Book )

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 13-17, 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
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
Cabal Seminar 77 - 79 Proceedings, Caltech-UCLA Logic Seminar 1977 - 79 by A. S Kechris( )

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 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 76-77 Proceedings. Caltech-UCLA Logic Seminar 1976-77 by A. S Kechris( )

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

Logic from Computer Science Proceedings of a Workshop held November 13-17, 1989 by Yiannis N Moschovakis( )

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

Recursive analysis by Yiannis N Moschovakis( )

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

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
Logic colloquium 2009 : Sofia, Bulgaria, 31 July-05 August 2009( )

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

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.56 (from 0.07 for Descriptiv ... to 0.98 for Descriptiv ...)

Notes on 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-

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 US-amerikanischer Logiker

Γιάννης Μοσχοβάκης

Languages
English (149)

German (1)

Covers
Elementary induction on abstract structuresDescriptive set theoryHandbook of mathematical logicDescriptive set theory