Results for 'Y. Moschovakis'

1000+ found
Order:
  1.  23
    Y. N. Moschovakis. Recursive Metric Spaces. Fundamenta Mathematicae, Vol. 55 , Pp. 215–238.B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.
  2.  11
    Review: Y. N. Moschovakis, Recursive Metric Spaces. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.
  3.  6
    Review: Y. N. Moschovakis, Logic From Computer Science, Proceedings of a Workshop Held November 13-17 1989; , Logics for Negation as Failure. [REVIEW]Helmut Schwichtenberg - 1995 - Journal of Symbolic Logic 60 (3):1021-1022.
  4. The 1996-97 ASL Winter Meeting Will Be Held in Conjunction with the Annual Meeting of the American Mathematical Society During January 8-11, 1997, in San Diego, California. The 1996-97 ASL Annual Meeting Will Be Held March 22-25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the Local Organizing Com-Mittee is Sy Friedman. [REVIEW]A. Louveau, Y. Moschovakis, L. Pacholski, H. Schwichtenberg, T. Slaman, J. Truss, H. D. Macpherson, A. Slomson & S. Wainer - 1996 - Bulletin of Symbolic Logic 2:121.
  5.  23
    The Next Admissible Set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  6.  19
    A. S. Troelstra. Principles of Intuitionism. Lectures Presented at the Summer Conference on Intuitionism and Proof Theory at SUNY at Buffalo, N. Y. Lecture Notes in Mathematics, No. 95. Springer-Verlag, Berlin, Heidelberg, and New York, 1969, 111 Pp. [REVIEW]Joan Rand Moschovakis - 1975 - Journal of Symbolic Logic 40 (3):447-448.
  7.  11
    Some Results in the Wadge Hierarchy of Borel Sets.A. Louveau, A. S. Kechris, D. A. Martin, Y. N. Moschovakis & J. Saint Raymond - 1992 - Journal of Symbolic Logic 57 (1):264-266.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  17
    Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic; J. R. Shoenfield, B.1. Axioms of Set Theory. [REVIEW]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
  9.  12
    Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
  10.  19
    Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
  11.  49
    Donald A. Martin. The Largest Countable This, That, and the Other. 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, Heidelberg, New York, and Tokyo, 1983, Pp. 97–106. - Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay. Introduction to Q-Theory. 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, Heidelberg, New York, and Tokyo, 1983, Pp. 199–282. - Steve Jackson. AD and the Projective Ordinals. Cabal Seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, Edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture Notes in Mathematics, Vol. 1333, Springer-Verlag, Berlin, Heidelberg, New York, Etc., 1988, Pp. 117–220. [REVIEW]Sy D. Friedman - 1992 - Journal of Symbolic Logic 57 (1):262-264.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Scales on Σ 1 1 Sets.John R. Steel, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, Yiannis N. Moschovakis & Donald A. Martin - 1992 - Journal of Symbolic Logic 57 (1):261-262.
  13.  14
    Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
  14.  15
    Logic From Computer Science, Proceedings of a Workshop Held November 13–17, 1989, Edited by Y. N. Moschovakis, Mathematical Sciences Research Institute Publications, Vol. 21, Springer-Verlag, New York Etc. 1992, Xi + 608 Pp. [REVIEW]Helmut Schwichtenberg - 1995 - Journal of Symbolic Logic 60 (3):1021-1022.
  15. Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]Sy D. Friedman - 1984 - Journal of Symbolic Logic 49 (3):975-980.
  16.  38
    Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp.Smoryński C.. D.1. The Incompleteness Theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof Theory: Some Applications of Cut-Elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's Theorem and Gentzen's Notion of a Direct Proof. Pp. 897–912.Feferman Solomon. D.4. Theories of Finite Type Related to Mathematical Practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of Constructive Mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The Logic of Topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The Type Free Lambda Calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A Mathematical Incompleteness in Peano Arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  17.  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.
  18.  13
    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  
  19. Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  20.  21
    Review: Donald A. Martin, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, The Largest Countable This, That, and the Other; Alexander S. Kechris, Donald A. Martin, Robert M. Solovay, Introduction to $Q$-Theory; Steve Jackson, A. S. Kechris, D. A. Martin, J. R. Steel, AD and the Projective Ordinals. [REVIEW]Sy D. Friedman - 1992 - Journal of Symbolic Logic 57 (1):262-264.
  21.  38
    A. Louveau. Some Results in the Wadge Hierarchy of Borel 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. 1983, Pp. 28–55. - A. Louveau and J. Saint Raymond. Borel Classes and Closed Games: Wadge-Type and Hurewicz-Type Results. Transactions of the American Mathematical Society, Vol. 304 , Pp. 431–467. - Alain Louveau and Jean Saint Raymond. The Strength of Borel Wadge Determinacy. Cabal Seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, Edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture Notes in Mathematics, Vol. 1333, Springer-Verlag, Berlin Etc. 1988, Pp. 1–30. [REVIEW]Robert S. Lubarsky - 1992 - Journal of Symbolic Logic 57 (1):264-266.
  22.  8
    Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Sy D. Friedman - 1984 - Journal of Symbolic Logic 49 (3):975-980.
  23.  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.
  24.  4
    1997 European Summer Meeting of the Association for Symbolic Logic.M. Hyland Hodges, A. H. Lachlan, A. Louveau, Y. N. Moschovakis, L. Pacholski, A. B. Slomson, J. K. Truss & S. S. Wainer - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.
  25.  11
    The Largest Countable This, That, and the Other.Donald A. Martin, A. S. Kechris, D. A. Martin, Y. N. Moschovakis & Alexander S. Kechris - 1992 - Journal of Symbolic Logic 57 (1):262-264.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. [Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
    Reviewed Works:John R. Steel, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, Scales on $\Sigma^1_1$ Sets.Yiannis N. Moschovakis, Scales on Coinductive Sets.Donald A. Martin, John R. Steel, The Extent of Scales in $L$.John R. Steel, Scales in $L$.
     
    Export citation  
     
    Bookmark   217 citations  
  27.  1
    El Hombre y la Gente.José Ortega Y. Gasset - 1946 - Revista de Occidente.
    Desde 1935 Ortega anunció la publicación de un libro con el título de El hombre y la gente contendría su doctrina sociológica, pero sólo se publicó en 1957 y como la primera de sus obras póstumas. Esta nueva edición incluye el texto, inédito hasta la fecha, de la conferencia pronunciada por Ortega en 1934 a la que había dado el título que hoy lleva este libro, y en la que por primera vez expuso públicamente su idea de los " usos (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  28.  8
    Ortega y sus fuentes germánicas.Nelson R. Orringer & José Ortega Y. Gasset - 1979 - Gredos.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  29.  15
    On Moschovakis Closure Ordinals.Jon Barwise - 1977 - Journal of Symbolic Logic 42 (2):292-296.
  30. In Y. Engeström, R. Miettinen, and R. Punamaki.Y. Engeström - 1999 - In Yrjö Engeström, Reijo Miettinen & Raija-Leena Punamäki-Gitai (eds.), Perspectives on Activity Theory. Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  31.  22
    Elementary Induction on Abstract Structures.Yiannis Nicholas Moschovakis - 1974 - Amsterdam, Netherlands: 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   79 citations  
  32. Evolución cognitiva y conocimiento reflexivo. La teoría de los órdenes sociales de Emanuel Adler y la elección de la Convención Nacional Constituyente en Uruguay.Adolfo Garcé García Y. Santos - 2019 - Araucaria 21 (42).
    El 30 de julio de 1916 se eligieron los representantes para la Convención encargada de elaborar la segunda constitución uruguaya que fijó las reglas de la naciente democracia. En esta elección se utilizaron por primera vez el voto secreto y una versión inédita de representación proporcional. Para explicar por qué se usaron esas reglas y no otras, se utiliza la teoría de los órdenes sociales de Emanuel Adler. Las nuevas reglas recogen en el plano institucional la evolución cognitiva de caudillos (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  12
    Fundamentos del Postmodernismo y el no estar ni ahí de la Universidad en (y de) Chile.Carlos Y. Valenzuela - 2010 - Polis: Revista Latinoamericana 25.
    Se ha tratado de desprestigiar al postmodernismo y no se ha valorado su gran contribución a la cultura universal. El postmodernismo empieza a desarrollarse cuando el ser humano se da cuenta que no tan solo sus órganos de los sentidos pueden engañarlo, sino que también su intelecto, razón y sus facultades superiores más preciadas. Las caídas del positivismo y del racionalismo le abrieron la puerta, apoyado por la insuficiencia de la ciencia y la filosofía para entender el universo. La nomología (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  2
    Origen y epílogo de la filosofía.José Ortega Y. Gasset - 1972 - Revista de Occidente.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  35.  8
    Meditación de la técnica y otros ensayos sobre ciencia y filosofía.José Ortega Y. Gasset - 1982 - Revista de Occidente / Alianza Editorial.
    La Meditación de la técnica contiene las reflexiones de José Ortega y Gasset sobre un fenómeno de invasora presencia en el mundo contemporáneo. Trata, en suma, de inscribir el hecho de la técnica en el marco de una antropología filosófica, fundada en el sistema orteguiano, para así contribuir a la comprensión del momento histórico contemporáneo. El volumen incluye, además del curso ¿Qué es la técnica?, desarrollado en 1933 en la Universidad de Santander, otros textos afines: la conferencia El mito del (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  36. Obras de José Ortega y Gasset.José Ortega Y. Gasset - 1921 - Caple.
    6 volumenes: 1. Meditaciones del Quijote, I. 3a ed. 2. Personas, obras, cosas. 2a ed. 3. España invertebrada. 4-6. El espectador. t. 1-3. 2a ed.
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  27
    Unavoidable Sequences in Constructive Analysis.Joan Rand Moschovakis - 2010 - Mathematical Logic Quarterly 56 (2):205-215.
    Five recursively axiomatizable theories extending Kleene's intuitionistic theory FIM of numbers and numbertheoretic sequences are introduced and shown to be consistent, by a modified relative realizability interpretation which verifies that every sequence classically defined by a Π11 formula is unavoidable and that no sequence can fail to be classically Δ11. The analytical form of Markov's Principle fails under the interpretation. The notion of strongly inadmissible rule of inference is introduced, with examples.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  25
    The Logic of Brouwer and Heyting.Joan Rand Moschovakis - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 77-125.
  39.  18
    Gadamer y los Presocráticos. La Teología de la esperanza en el límite oculto de la Hermenéutica.Teresa Oñate Y. Zubía - 2005 - Endoxa 1 (20):795.
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  17
    Ontología y nihilismo.Teresa Oñate Y. Zubía - 2000 - Endoxa 1 (12-2):723.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. A Logical Calculus of Meaning and Synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.
  42.  2
    Correspondencia: José Ortega y Gasset, Helene Weyl.José Ortega Y. Gasset & Helene Weyl - 2008 - Fundación José Ortega y Gasset.
    El filósofo español José Ortega y Gasset y su traductora al alemán Helene Weyl intercambiaron correspondencia entre los años 1923 y 1946. José Ortega y Gasset y Helene Weyl formaron parte de dos grandes comunidades de intelectuales europeos: Ortega, representante de la filosofía académica en España y Helene Weyl, representante de una intelectualidad vivida más allá de cualquier corsé academicista. Su correspondencia documenta el desarrollo de dos grandes espíritus europeos así como la singular intersección de estos dos mundos y culturas (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  90
    Teoría y experimento en Genética Mendeliana: una exposición en imágenes.Mario Casanueva Y. Diego Méndez - 2008 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 23 (3):285-306.
    En este artículo tratamos sobre los aspectos empíricos y conceptuales en la Genética Mendeliana y analizamos los vínculos entre ellos. Primero discutimos las ventajas de una representación gráfica de las teorías empíricas; luego pormenorizamos la estructura conceptual de la genécica; en seguida, esquematizamos su protocolo experimental, a continuación destacamos los engarces entre ambas representaciones y, por último, proporcionamos una caracterización holista de la práctica genética, donde el representar y el intervenir se encucntran entremezclados.In this article we deal with the conceptual (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. La Civitas mexicana y nosotros los católicos, México.Jesús Guízar Y. Azevedo - forthcoming - Polis.
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  15
    Vico Y el constructivismo.Y. El Conocimiento Según la Ciencia - 2000 - Cuadernos Sobre Vico 11 (12):1999-2000.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  11
    [Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
  47. Calidad y equidad desde una pedagogía ética. Un lenguaje distinto para la alteridad.Rodríguez I. Bosch & M. Jl Y. Lahoz - 2007 - Episteme 11.
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Notas Y comentarios.Etica Y. Derecho Natural Metafisica - 1982 - Sapientia 143 (21):75.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Liberalismo Cientifico Y Progresismo Teologico.Y. Progresismo Teologico - 1971 - Salmanticensis 18:61.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Poesia Culta Y Poesia Tradicional.Y. Poesia Tradicional - 1964 - Humanitas 12 (17):135.
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000