Yiannis N. Moschovakis

Generating author description...

All published works

Action	Title	Year	Authors
+	The strong Spector-Gandy Theorem for the higher analytical pointclasses	2022	Joan Rand Moschovakis Yiannis N. Moschovakis
+	Elementary recursive algorithms	2021	Yiannis N. Moschovakis
+	Lower bounds from division with remainder	2018	Yiannis N. Moschovakis
+	Lower bounds from Presburger primitives	2018	Yiannis N. Moschovakis
+	The homomorphism method	2018	Yiannis N. Moschovakis
+	General index	2018	Yiannis N. Moschovakis
+	Hyperarithmetical Sets	2016	Yiannis N. Moschovakis
+	Measurable cardinals in playful models	2015	Howard S. Becker Yiannis N. Moschovakis
+	ABSOLUTE LOWER BOUNDS FOR UNIFORM PROCESSES	2012	Yiannis N. Moschovakis
+	Classical descriptive set theory as a refinement of effective descriptive set theory	2010	Yiannis N. Moschovakis
+	Kleene’s Amazing Second Recursion Theorem	2009	Yiannis N. Moschovakis
+	Arithmetic complexity	2009	Lou van den Dries Yiannis N. Moschovakis
+	The axiom of determinacy, strong partition properties, and nonsingular measures	2008	Alexander S. Kechris E. M. Kleinberg Yiannis N. Moschovakis W. Hugh Woodin
+	The Axiomatic Derivation of Absolute Lower Bounds	2008	Yiannis N. Moschovakis
+	Elementary Algorithms and Their Implementations	2007	Yiannis N. Moschovakis Vasilis Paschalis
+	Notes on Set Theory	2006	Yiannis N. Moschovakis
+	Is the Euclidean Algorithm Optimal Among its Peers?	2004	Lou van den Dries Yiannis N. Moschovakis
+	The Euclidean algorithm on the natural numbers Æ= 0, 1,... can be specified succinctly by the recursive program	2004	Lou van den Dries Yiannis N. Moschovakis
+	Mathematical Logic	2003	Yiannis N. Moschovakis
+	Equinumerosity	1994	Yiannis N. Moschovakis
+	Well Ordered Sets	1994	Yiannis N. Moschovakis
+ PDF Chat	The extent of definable scales	1982	Donald A. Martin Yiannis N. Moschovakis John R. Steel
+	Measurable cardinals in playful models	1981	Howard S. Becker Yiannis N. Moschovakis
+	The axiom of determinacy, strong partition properties and nonsingular measures	1981	Alexander S. Kechris E. M. Kleinberg Yiannis N. Moschovakis W. Hugh Woodin
+	On the Grilliot-Harrington-MacQueen theorem	1981	Yiannis N. Moschovakis
+	Descriptive Set Theory	1980	Yiannis N. Moschovakis
+	Review: Yoemon Sampei, A Proof of Mansfield's Theorem by Forcing Method	1975	Yiannis N. Moschovakis
+	Richard Mansfield. Perfect subsets of definable sets of real numbers. Pacific journal of mathematics, vol. 35 (1970), pp. 451–457.	1975	Yiannis N. Moschovakis
+	Yoemon Sampei. A proof of Mansfield's theorem by forcing method. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 2 (1969), pp. 99–103.	1975	Yiannis N. Moschovakis
+	Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)	1974	Yiannis N. Moschovakis
+ PDF Chat	On nonmonotone inductive definability	1974	Yiannis N. Moschovakis
+	Two theorems about projective sets	1972	Alexander S. Kechris Yiannis N. Moschovakis
+	Review: Joseph Harrison, Recursive Pseudo-well-Orderings	1972	Yiannis N. Moschovakis
+ PDF Chat	The game quantifier	1972	Yiannis N. Moschovakis
+ PDF Chat	The Suslin-Kleene theorem for<i>V</i><sub><i>κ</i></sub>with cofinality (<i>κ</i>) =<i>ω</i>	1970	C. C. Chang Yiannis N. Moschovakis
+	The Suslin-Kleene theorem for countable structures	1970	Yiannis N. Moschovakis
+	G. Kreisel. The axiom of choice and the class of hyperarithmetic functions. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 65 (1962), pp. 307–319; also <b><i>Indagationes mathematicae</i></b>, vol. 24 (1962), pp. 307–319.	1970	Yiannis N. Moschovakis
+ PDF Chat	Meeting of the Association for Symbolic Logic	1969	Yiannis N. Moschovakis
+ PDF Chat	Abstract first order computability. I, II	1969	Yiannis N. Moschovakis
+	Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2<sup>e</sup> Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960, pp. 332–334. - László Kalmár. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, …	1968	Yiannis N. Moschovakis
+	Review: G. Kriesel, D. Lacombe, J. Shoenfield, Effective Operations and Partial Recursive Functionals; G. Kreisel, D. Lacombe, J. R. Shoenfield, Partial Recursive Functionals and Effective Operations	1966	Yiannis N. Moschovakis
+ PDF Chat	Recursive metric spaces	1964	Yiannis N. Moschovakis

Common Coauthors

Coauthor	Papers Together
Lou van den Dries	3
Alexander S. Kechris	3
Howard S. Becker	2
E. M. Kleinberg	2
W. Hugh Woodin	2
C. C. Chang	1
Vasilis Paschalis	1
John R. Steel	1
Donald A. Martin	1
Joan Rand Moschovakis	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Descriptive Set Theory	1980	Yiannis N. Moschovakis	7
+ PDF Chat	A lower bound for integer greatest common divisor computations	1991	Yishay Mansour Baruch Schieber Prasoon Tiwari	7
+	Is the Euclidean Algorithm Optimal Among its Peers?	2004	Lou van den Dries Yiannis N. Moschovakis	7
+	Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms	2003	Lou van den Dries	6
+ PDF Chat	Lower bounds for arithmetic problems	1991	João Meidânis	6
+ PDF Chat	An introduction to the theory of numbers	1960	G. H. Hardy	6
+	Lower bounds for decision problems in imaginary, norm-Euclidean quadratic integer rings	2008	J. Busch	5
+	What are logical notions?	1986	Alfred Tarski John Corcoran	5
+	An Unsolvable Problem of Elementary Number Theory	1936	Alonzo Church	5
+	Verification complexity of linear prime ideals	1992	Peter Bürgisser Thomas Lickteig	5
+	Mathematics Unlimited — 2001 and Beyond	2001	Björn Engquist Wilfried Schmid	5
+	On the Optimality of the Binary Algorithm for the Jacobi Symbol	2007	J. Busch	5
+ PDF Chat	ON THE NUMBER OF MULTIPLICATIONS REQUIRED TO COMPUTE CERTAIN FUNCTIONS	1967	S. Winograd	5
+	Arithmetic complexity	2009	Lou van den Dries Yiannis N. Moschovakis	5
+	Computational problems associated with Racah algebra	1967	J. Stein	5
+	Test complexity of generic polynomials	1992	Peter Bürgisser Thomas Lickteig Michael Shub	5
+ PDF Chat	Not every number is the sum or difference of two prime powers	1975	Fred Cohen J. L. Selfridge	4
+	On integers not of the form ±𝑝^{𝑎}±𝑞^{𝑏}	1999	Zhi‐Wei Sun	4
+	Some restrictions on simple fixed points of the integers	1989	Gregory L. McColm	4
+ PDF Chat	A REMARK ON PRIMALITY TESTING AND DECIMAL EXPANSIONS	2011	Terence Tao	4
+	The Suslin-Kleene theorem for countable structures	1970	Yiannis N. Moschovakis	3
+	A Δ 3 1 coding of the subsets of ωω	1978	Robert M Solovay	2
+	Thin collections of sets of projective ordinals and analogs of L	1980	Howard S. Becker	2
+	Ad and projective ordinals	1978	Alexander S. Kechris	2
+	An Introduction to the Theory of Numbers. By G. H. Hardy and E. M. Wright. 2nd edition. Pp. xvi, 407 25s. 1945. (Oxford)	1946	T. A. A. B.	2
+	Recursive Functionals and Quantifiers of Finite Types I	1959	S. C. Kleene	2
+ PDF Chat	Recursively enumerable sets of positive integers and their decision problems	1944	Emil L. Post	2
+	Creative sets	1955	John Myhill	2
+	Classical descriptive set theory as a refinement of effective descriptive set theory	2010	Yiannis N. Moschovakis	2
+ PDF Chat	On the Choquet boundary for a nonclosed subspace of<i>C</i>(<i>S</i>)	1970	Tae Geun Cho	1
+ PDF Chat	The convex generation of convex Borel sets in euclidean space	1970	C. A. Rogers	1
+ PDF Chat	On the ideal structure of some algebras of analytic functions	1970	John R. Gilbert	1
+ PDF Chat	A nonconstructible Δ₃¹ set of integers	1967	Robert M Solovay	1
+ PDF Chat	The Lebesgue decomposition, Radon-Nikodym derivative, conditional expectation, and martingale convergence for lattices of sets	1970	R. B. Darst	1
+ PDF Chat	Cone relationships of biorthogonal systems	1970	Steven W. Smith	1
+ PDF Chat	An elementary proof of the uniqueness of the fixed point index	1970	Robert F. Brown	1
+ PDF Chat	On a theorem of M. Izumi and S. Izumi	1970	Shiva Narain Lal	1
+ PDF Chat	Each compact orientable surface of positive genus admits an expansive homeomorphism	1970	Thomas O’Brien William L. Reddy	1
+ PDF Chat	On nearly commutative degree one algebras	1970	John D. Arrison Michael D. Rich	1
+ PDF Chat	Correction to: “Two-groups and Jordan algebras”	1970	James A. Ward	1
+ PDF Chat	Algebras with minimal left ideals which are Hilbert spaces	1970	Bruce Barnes	1
+ PDF Chat	Notes on commutative power joined semigroups	1970	Richard G. Levin Takayuki Tamura	1
+ PDF Chat	On commutative endomorphism rings	1970	Wolmer V. Vasconcelos	1
+	Selection in abstract recursion theory	1976	Leo Harrington David MacQueen	1
+ PDF Chat	Some remarks on special disconjugacy criteria for differential systems	1970	William T. Reid	1
+ PDF Chat	Congruence formulas obtained by counting irreducibles	1970	Michael L. Fredman	1
+ PDF Chat	Supercompact cardinals, sets of reals, and weakly homogeneous trees	1988	W. Hugh Woodin	1
+ PDF Chat	PRIMES is in P	2004	Manindra Agrawal Neeraj Kayal Nitin Saxena	1
+	AD and projective ordinals	2011	Alexander S. Kechris	1
+	On Rings of Operators. Reduction Theory	1949	John von Neumann	1