Author

Yiannis N. Moschovakis

Observed names: Moschovakis, Yiannis, Moschovakis, Yiannis N., Y. Moschovakis, Y. N. Moschovakis, Y.N. Moschovakis, YIANNIS N. MOSCHOVAKIS, Yiannis (John) Moschovakis, Yiannis Moschovakis, Yiannis N Moschovakis, Yiannis n. Moschovakis, Yiannis. N. Moschovakis

Observed institutions: University of Southern California, University of California, Los Angeles, National and Kapodistrian University of Athens, University of Michigan, University of California System, University of California, Berkeley

OpenAlex ID: A5034599885

Descriptive Set Theory

2009 · Yiannis Moschovakis · Mathematical surveys and monographs · 1,172

What Is an Algorithm?

2001 · Yiannis N. Moschovakis · Springer eBooks · 157

Abstract first order computability. I, II

1969 · Yiannis N. Moschovakis · Transactions of the American Mathematical Society · 134

PDF

Notes on Set Theory

1994 · Yiannis N. Moschovakis · Undergraduate texts in mathematics · 132

Sense and denotation as algorithm and value

2017 · Yiannis N. Moschovakis · Cambridge University Press eBooks · 126

Recursive metric spaces

1964 · Y. Moschovakis · Fundamenta Mathematicae · 117

PDF

A Logical Calculus of Meaning and Synonymy

2006 · Yiannis N. Moschovakis · Linguistics and Philosophy · 101

Some Consequences of the Axiom of Definable Determinateness

1968 · J. W. Addison, Yiannis N. Moschovakis · Proceedings of the National Academy of Sciences · 93

Logic from Computer Science

1992 · Moschovakis, Yiannis · Mathematical Sciences Research Institute publications · 90

Uniformization in a playful universe

1971 · Yiannis N. Moschovakis · Bulletin of the American Mathematical Society · 89

PDF

Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)

1974 · Yiannis N. Moschovakis · Elsevier eBooks · 76

On founding the theory of algorithms

1998 · Yiannis N Moschovakis · 74

The formal language of recursion

1989 · Yiannis N. Moschovakis · Journal of Symbolic Logic · 72

Abstract recursion as a foundation for the theory of algorithms

1984 · Yiannis N. Moschovakis · Lecture notes in mathematics · 71

Determinacy and Prewellorderings of the Continuum

1970 · Yiannis n. Moschovakis · Studies in logic and the foundations of mathematics · 71

Hyperanalytic predicates

1967 · Yiannis N. Moschovakis · Transactions of the American Mathematical Society · 70

PDF

The next admissible set

1971 · K. J. Barwise, R. O. Gandy, et al. · Journal of Symbolic Logic · 68

Cabal Seminar 76–77

1978 · Kechris, Alexander, Moschovakis, Yiannis · Lecture notes in mathematics · 63

Recursion in Higher Types*

1977 · Alexander S. Kechris, Yiannis N. Moschovakis · Studies in logic and the foundations of mathematics · 60

Kleene's Amazing Second Recursion Theorem

2010 · Yiannis N. Moschovakis · Bulletin of Symbolic Logic · 56

Notes on the theory of scales

1978 · Alexander S. Kechris, Yiannis N. Moschovakis · Lecture notes in mathematics · 49

Abstract First Order Computability. I

1969 · Yiannis N. Moschovakis · Transactions of the American Mathematical Society · 48

Axioms for Computation Theories-First Draft

1971 · Yiannis N. Moschovakis · Studies in logic and the foundations of mathematics · 47

Elementary Algorithms and Their Implementations

2007 · Yiannis N. Moschovakis, Vasilis Paschalis · Springer eBooks · 46

Global inductive definability

1978 · Jon Barwise, Yiannis N. Moschovakis · Journal of Symbolic Logic · 44

Works count: 149

Citation count: 4,075

H-index: 32

I10-index: 59