Results for 'Yiannis Nicholas Moschovakis'

1000+ found
Order:
  1. A Logical Calculus of Meaning and Synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.
  2.  9
    Yiannis N. Moschovakis. Abstract First Order Computability. Transactions of the American Mathematical Society, Vol. 138 , Pp. 427–464 and Pp. 465–504. [REVIEW]Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (4):758.
  3.  16
    Yiannis N. Moschovakis. Elementary Induction on Abstract Structures. Studies in Logic and the Foundations of Mathematics, Vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, X + 218 Pp. [REVIEW]Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  18
    Yiannis N. Moschovakis. Notes on Set Theory. Undergraduate Texts in Mathematics. Springer-Verlag, New York, Berlin, Heidelberg, Etc., 1994, Xiv + 272 Pp. [REVIEW]Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (4):1493-1494.
  5.  8
    Yiannis N. Moschovakis. Many-One Degrees of the Predicates Ha. Pacific Journal of Mathematics, Vol. 18 , Pp. 329–342.Gustav B. Hensel - 1968 - Journal of Symbolic Logic 32 (4):529-530.
  6.  7
    Yiannis N. Moschovakis. Hyperanalytic Predicates. Transactions of the American Mathematical Society, Vol. 129 , Pp. 249–282. - Thomas J. Grilliot. Hierarchies Based on Objects of Finite Type. The Journal of Symbolic Logic, Vol. 34 , Pp. 177–182. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):147-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  12
    Yiannis N. Moschovakis. Descriptive Set Theory. Studies in Logic and the Foundations of Mathematics, Vol. 100. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, Xii + 637 Pp. [REVIEW]Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
  8.  9
    Yiannis N. Moschovakis. The Game Quantifier. Proceedings of the American Mathematical Society, Vol. 31 , Pp. 245–250.Donald A. Martin - 1973 - Journal of Symbolic Logic 38 (4):653.
  9.  20
    Yiannis N. Moschovakis. Notation Systems and Recursive Ordered Fields. Compositio Mathematica, Vol. 17 No. 1 , Pp. 40–71. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
  10.  6
    Review: Yiannis N. Moschovakis, Abstract First Order Computability. [REVIEW]Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (4):758-758.
  11.  15
    Review: Yiannis N. Moschovakis, Elementary Induction on Abstract Structures. [REVIEW]Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
  12.  14
    Elementary Induction on Abstract Structures.Yiannis N. Moschovakis - 1974 - Dover Publications.
    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. 1974 edition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   68 citations  
  13.  22
    Review: Yiannis N. Moschovakis, Notes on Set Theory. [REVIEW]Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (4):1493-1494.
  14. Review: Yiannis N. Moschovakis, Many-One Degrees of the Predicates $H_a(X)$. [REVIEW]Gustav B. Hensel - 1967 - Journal of Symbolic Logic 32 (4):529-530.
  15.  3
    Review: Yiannis N. Moschovakis, Hyperanalytic Predicates; Thomas J. Grilliot, Hierarchies Based on Objects of Finite Type. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):147-148.
  16. Review: Yiannis N. Moschovakis, Descriptive Set Theory. [REVIEW]Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
  17.  5
    Review: Yiannis N. Moschovakis, The Game Quantifier. [REVIEW]Donald A. Martin - 1973 - Journal of Symbolic Logic 38 (4):653-653.
  18.  12
    Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
  19.  23
    C. C. Chang and Yiannis N. Moschovakis. The Suslin-Kleene Theorem for Vκ with Cofinality = Ω. Pacific Journal of Mathematics, Vol. 35 , Pp. 565–569. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):245.
  20.  14
    Review: C. C. Chang, Yiannis N. Moschovakis, The Suslin-Kleene Theorem for $V_kappa$ with Cofinality $(Kappa) = Omega$. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):245-245.
  21.  20
    J. W. Addison and Yiannis N. Moschovakis. Some Consequences of the Axiom of Definable Determinateness. Proceedings of the National Academy of Sciences, Vol. 59 , Pp. 708–712. - Donald A. Martin. The Axiom of Determinateness and Reduction Principles in the Analytical Hierarchy. Bulletin of the American Mathematical Society, Vol. 74 , Pp. 687–689. [REVIEW]James E. Baumgartner - 1973 - Journal of Symbolic Logic 38 (2):334.
  22.  6
    Review: J. W. Addison, Yiannis N. Moschovakis, Some Consequences of the Axiom of Definable Determinateness; Donald A. Martin, The Axiom of Determinateness and Reduction Principles in the Analytical Hierarchy. [REVIEW]James E. Baumgartner - 1973 - Journal of Symbolic Logic 38 (2):334-334.
  23.  13
    Alexander S. Kechris and Yiannis N. Moschovakis. Notes on the Theory of Scales. Cabal Seminar 76–77, Proceedings, Caltech-UCLA Logic Seminar 1976–77, Edited by A. S. Kechris and Y. N. Moschovakis, Lecture Notes in Mathematics, Vol. 689, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, Pp. 1–53. [REVIEW]T. Jech - 1985 - Journal of Symbolic Logic 50 (3):849-851.
  24.  12
    John R. Steel. Scales on Sets. Cabal Seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, Edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture Notes in Mathematics, Vol. 1019, Springer-Verlag, Berlin Etc. Pp. 72–76. - Yiannis N. Moschovakis. Scales on Coinductive Sets. Cabal Seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, Edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture Notes in Mathematics, Vol. 1019, Springer-Verlag, Berlin Etc., Pp. 77–85. - Donald A. Martin and John R. Steel. The Extent of Scales in L. Cabal Seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, Edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture Notes in Mathematics, Vol. 1019, Springer-Verlag, Berlin Etc., Pp. 86–96. - John R. Steel. Scales in L. Cabal Seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, Edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture Notes in Mathematics, Vol. 1019, Spring. [REVIEW]Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    Review: Alexander S. Kechris, Yiannis N. Moschovakis, A. S. Kechris, Y. N. Moschovakis, Cobol Seminar. [REVIEW]T. Jech - 1985 - Journal of Symbolic Logic 50 (3):849-851.
  26.  11
    [Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
  27.  24
    Kleene's Amazing Second Recursion Theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.
  28.  38
    On Founding the Theory of Algorithms.Yiannis N. Moschovakis - 1998 - In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa. pp. 71--104.
  29.  65
    Global Inductive Definability.Jon Barwise & Yiannis N. Moschovakis - 1978 - Journal of Symbolic Logic 43 (3):521-534.
    We show that several theorems on ordinal bounds in different parts of logic are simple consequences of a basic result in the theory of global inductive definitions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  7
    Hyperanalytic Predicates.Yiannis N. Moschovakis & Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):147-148.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  31.  7
    Notation Systems and Recursive Ordered Fields.Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (4):650-651.
  32.  24
    The Formal Language of Recursion.Yiannis N. Moschovakis - 1989 - Journal of Symbolic Logic 54 (4):1216-1252.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  43
    Classical Descriptive Set Theory as a Refinement of Effective Descriptive Set Theory.Yiannis N. Moschovakis - 2010 - Annals of Pure and Applied Logic 162 (3):243-255.
    The Suslin–Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it a naive realizability interpretation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  34
    Abstract Computability and Invariant Definability.Yiannis N. Moschovakis - 1969 - Journal of Symbolic Logic 34 (4):605-633.
  35.  16
    Many-One Degrees of the Predicates H A.Yiannis N. Moschovakis - 1967 - Journal of Symbolic Logic 32 (4):529-530.
  36.  28
    Porte Jean. Quelques Pseudo-Paradoxes de la “Calculabilité Effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, Pp. 332–334.Kalmár László. An Argument Against the Plausibility of Church's Thesis. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 72–80.Peter Rózsa. Rekursivität Und Konstruktivität. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 226–233.Mendelson Elliott. On Some Recent Criticism of Church's Thesis. Notre Dame Journal of Formal Logic, Vol. 4 No. 3 , Pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  7
    Abstract First Order Computability.Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (4):758-758.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  9
    Preface.Joan Bagaria, Yiannis Moschovakis, Margarita Otero & Ivan Soskov - 2011 - Annals of Pure and Applied Logic 162 (7):489.
  39.  11
    The Euclidean Algorithm on the Natural Numbers Æ= 0, 1,... Can Be Specified Succinctly by the Recursive Program.Lou van den Dries & Yiannis N. Moschovakis - 2004 - Bulletin of Symbolic Logic 10 (3).
  40. Is the Euclidean Algorithm Optimal Among its Peers?Louden Dries & Yiannis N. Moschovakis - 2004 - Bulletin of Symbolic Logic 10 (3):390 - 418.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  20
    Meeting of the Association for Symbolic Logic: San Francisco, 1981.Jon Barwise, Robert Vaught & Yiannis Moschovakis - 1983 - Journal of Symbolic Logic 48 (2):505-513.
  42.  4
    Cobol Seminar.Alexander S. Kechris, Yiannis N. Moschovakis, A. S. Kechris & Y. N. Moschovakis - 1985 - Journal of Symbolic Logic 50 (3):849-851.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Document Preparation for Asl Publications.Yiannis N. Moschovakis - unknown
    of L ATEX2 and essentially1 all commands of the AMS-L ATEX documentclass amsart are recognized by the documentclass asl, and so manuscripts prepared for those versions of TEX can be processed by the ASL Typesetting Office practically as-they-are.2 This brief guide is aimed at those authors who are reasonably..
    No categories
     
    Export citation  
     
    Bookmark  
  44.  17
    In Memoriam: Robin Oliver Gandy 1919–1995.Yiannis Moschovakis & Mike Yates - 1996 - Bulletin of Symbolic Logic 2 (3):367-370.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  45.  11
    Joseph Harrison. Recursive Pseudo-Well-Orderings. Transactions of the American Mathematical Society, Vol. 131 , Pp. 526–543. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (1):197-198.
  46.  10
    Kreisel G.. Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchy. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 7 , Pp. 621–626. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):334-334.
  47.  22
    Kreisel G., Lacombe D., and Shoenfield J.. Effective Operations and Partial Recursive Functionals. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 364–365.Kreisel G., Lacombe D., and Shoenfield J. R.. Partial Recursive Functionals and Effective Operations. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North Holland Publishing Company, Amsterdam 1959, Pp. 290–297. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  12
    Kreisel G.. The Axiom of Choice and the Class of Hyperarithmetic Functions. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 65 , Pp. 307–319; Also Indagationes Mathematicae, Vol. 24 , Pp. 307–319. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):333-334.
  49.  32
    Meeting of the Association for Symbolic Logic.Yiannis N. Moschovakis - 1969 - Journal of Symbolic Logic 34 (1):152-160.
  50.  14
    Peter G. Hinman. Hierarchies of Effective Descriptive Set Theory. Transactions of the American Mathematical Society, Vol. 142 , Pp. 111–140. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (4):758-759.
1 — 50 / 1000