Results for 'Y. Moschovakis'

973 found
Order:
  1.  76
    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   15 citations  
  2. 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.
  3.  12
    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  
  4.  32
    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  
  5.  16
    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.
  6.  23
    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.
  7.  28
    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.  71
    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.
  9.  53
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  72
    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.
  11.  84
    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.
  12.  57
    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.
  13.  43
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  31
    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  
  15. 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 (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  75
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  66
    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.
  18.  54
    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.
  19. [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   219 citations  
  20.  87
    Extrahippocampal Contributions to Age-Related Changes in Spatial Navigation Ability.Jimmy Y. Zhong & Scott D. Moffat - 2018 - Frontiers in Human Neuroscience 12.
  21.  13
    Machine learning based privacy-preserving fair data trading in big data market.Y. Zhao, Y. Yu, Y. Li, G. Han & X. Du - 2019 - Information Sciences 478.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Los monasterios de Canónigos Regulares de San Agustín en Cataluña.E. Zaragoza Y. Pascual - 1996 - Revista Agustiniana 37 (113):661-721.
    No categories
     
    Export citation  
     
    Bookmark  
  23.  28
    Misión de la universidad.José Ortega Y. Gasset - 1930 - Revista de Occidente.
    The second of Lorca's great trilogy of rural dramas, "Yerma" is a concentrated blend of contrasting moods through which Lorca charts the increasingly destructive obsession of a childless young country wife, and probes the darker zones of human fears and desires. The play's rich mode of expression--a powerful combination of verbal, visual and auditory images and rhythms--is also geared to celebrating sexual attraction and fertility, creation and procreation.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  24. Obispado Castrense de Colombia, Colombia. Una ética para la paz desde la perspectiva cristiana.Área Jovenes Educación Y. Cultura, Obispado Castrense de Colombia, Juan Andrés Vargas Molina & Presbítero Obispado Castrense de Colombia - 2014 - In Javier Fernández Leal, S. Contreras & Jorge Orlando, Los retos éticos de las fuerzas militares. Medellín, Colombia: Biblioteca Jurídica Diké.
     
    Export citation  
     
    Bookmark  
  25.  32
    La Libertad de Ensenanza en la Espana del Siglo XIX.Angel Benito Y. Duran - 1961 - British Journal of Educational Studies 10 (1):115.
  26. (1 other version)Lecciones de derecho natural.González de Castejón Y. Elío & Francisco Javier - 1898 - Madrid: Imprenta de los Hijos de M.G. Hernández.
     
    Export citation  
     
    Bookmark  
  27.  20
    Bergson's philosophy of education.Pete A. Y. Gunter - 1995 - Educational Theory 45 (3):379-394.
  28.  17
    Bilincin Açıklığından Varlığın Açıklığına Giden Yol Olarak Fenomenoloji.Çiğdem Yıldızdöken - 2021 - Beytulhikme An International Journal of Philosophy 11 (11:1):369-402.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Karl-Otto Apel-Manfred Baum-Paul Guyer kaan H. ökten-e. Efe çakmak.İki Yüzüncü Ölüm Yıldönümünde - 2005 - Cogito 41:477.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Teoria general del derecho.de Bustamante Y. Montoro & Antonio Sánchez - 1940 - Habana: Editorial "Alfa".
     
    Export citation  
     
    Bookmark  
  31. Textos para el estudio de la escuela de Viena.de Bustamante Y. Montoro & Antonio Sánchez - 1946 - Habana,: Cultural.
     
    Export citation  
     
    Bookmark  
  32.  29
    Restoring volitional walking via neural interface in patients with severe spinal cord injury.Nishimura Y. - 2015 - Frontiers in Human Neuroscience 9.
  33.  15
    The essential enthymeme: propositions for educating students in a modern world.Vega Y. Vega & Jorge Juan (eds.) - 2015 - New York: Peter Lang.
    The enthymeme is essential because it reflects what humans do when they think. It provides an effective pedagogical approach to the analysis and synthesis of ideas in the classroom. In this volume, such an approach is applied to various areas of content for the purpose of helping students prepare themselves for the challenges of modern life.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Dos cartas inéditas de Francisco de Vitoria sobre los escrúpulos.E. Zaragoza Y. Pascual - 1990 - Ciencia Tomista 117 (2):341-346.
     
    Export citation  
     
    Bookmark  
  35. Hobbes and the method of natural science.Y. C. Zark - 1996 - In Tom Sorell, The Cambridge Companion to Hobbes. New York: Cambridge University Press.
  36.  88
    Seeing with the brain.Paul Bach-Y.-Rita, Mitchell Tyler & Kurt Kaczamarek - 2003 - International Journal Of Human-Computer Interaction 15 (2):285-295.
  37. A la recherche de l'identité du protestantisme français.Y. Bizeul - 1989 - Revue D'Histoire Et de Philosophie Religieuses 69 (2):153-171.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Le droit naturel dans la tradition protestante.Y. Bizeul - 1999 - Revue D'Histoire Et de Philosophie Religieuses 79 (4):445-461.
    No categories
     
    Export citation  
     
    Bookmark  
  39.  30
    A Call for Solidarity in Bioethics: Confronting Anti‐Black Racism Together.Vanessa Y. Hiratsuka - 2022 - Hastings Center Report 52 (S1):89-89.
    Hastings Center Report, Volume 52, Issue S1, Page S89-S89, March‐April 2022.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  97
    Respect for Personal Autonomy, Human Dignity, and the Problems of Self-Directedness and Botched Autonomy.Y. M. Barilan - 2011 - Journal of Medicine and Philosophy 36 (5):496-515.
    This paper explores the value of respect for personal autonomy in relation to clearly immoral and irrational acts committed freely and intentionally by competent people. Following Berlin's distinction between two kinds of liberty and Darwall's two kinds of respect, it is argued that coercive suppression of nonautonomous, irrational, and self-harming acts of competent persons is offensive to their human dignity, but not disrespectful of personal autonomy. Irrational and immoral choices made by competent people may claim only the negative liberty to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41.  5
    What is Philosophy? Translated from the Spanish by Mildred Adams.José Ortega Y. Gasset - 1960 - New York: W. W. Norton.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  16
    Essays on the Moral Philosophy of Mengzi. Edited by Xiusheng Liu and Philip J. Ivanhoe.Ellen Y. Zhang - 2003 - Journal of Chinese Philosophy 30 (3-4):555-558.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  23
    The coupling between first-order martensitic transformation and second-order antiferromagnetic transition in Mn-rich γ-MnFe alloy.J. H. Zhang, Y. H. Rong & T. Y. Hsu - 2010 - Philosophical Magazine 90 (1-4):159-168.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  11
    The Research of" Crafts and Design" Courses Combined with Traditional and Modern Chinese Elements for Middle School Students.Y. A. O. Zhou-yi - 2012 - Journal of Aesthetic Education (Misc) 1:014.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. The 414 trend of thought is bound to prevail (From the Chinese original letter to a comrade-in-arms of Henan Rebel Command Post).Q. Y. Zhou - 2001 - Contemporary Chinese Thought 33 (1):34-62.
     
    Export citation  
     
    Bookmark  
  46. The benchmark of patriotism-A review of'Wan qing da bianju zhong de sichao yu renwu'(Yuan Weishi on China's intellectual elite).Z. Y. Zi - 1997 - Chinese Studies in Philosophy 28 (3).
     
    Export citation  
     
    Bookmark  
  47. Gender Inequality and Man-Woman Relation.Y. V. Satyanarayana - 2007 - In Manjulika Ghosh, Musings on philosophy: perennial and modern. New Delhi: Sundeep Prakashan. pp. 329.
  48.  70
    Morality and Political Obligation.Y. V. Satyanarayana - 2008 - Proceedings of the Xxii World Congress of Philosophy 3:103-110.
    The most important moral question concerned with the problem of political obligation relates to the limits of obedience of a citizen owed to the state. The problem of political obligation raises the questions such as – (1) To what extent the citizen has an obligation to obey the laws of the state? (2) Is the citizen of a state, whether democratic or otherwise, under an obligation to obey the unjust laws of the state? There are two different viewpoints concerning the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  10
    El concordato español de 1953: a propósito de una publicación reciente.Aquilino Sánchez Y. Sánchez - 1958 - Salmanticensis 5 (2):451-477.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  18
    El diálogo de la cuantivalencia del alma de San Agustín.Angel Benito Y. Durán - 1962 - Augustinus 7 (26):175-202.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 973