Results for 'H. J. Keisler'

(not author) ( search as author name )
1000+ found
Order:
  1.  53
    From Accessible to Inaccessible Cardinals.H. J. Keisler & A. Tarski - 1967 - Journal of Symbolic Logic 32 (3):411-411.
  2.  80
    $L_a(\finv)$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15 - 28.
    The language $L_A(\Finv)$ is formed by adding the quantifier $\Finv x$ , "few x", to the infinitary logic L A on an admissible set A. A complete axiomatization is obtained for models whose universe is the set of ordinals of A and where $\Finv x$ is interpreted as there exist A-finitely many x. For well-behaved A, every consistent sentence has a model with an A-recursive diagram. A principal tool is forcing for $L_A(\Finv)$.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  10
    A Complete First-Order Logic with Infinitary Predicates.H. J. Keisler - 1966 - Journal of Symbolic Logic 31 (2):269-269.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  21
    $L_a$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15-28.
    The language $L_A$ is formed by adding the quantifier $\Finv x$ , "few x", to the infinitary logic L A on an admissible set A. A complete axiomatization is obtained for models whose universe is the set of ordinals of A and where $\Finv x$ is interpreted as there exist A-finitely many x. For well-behaved A, every consistent sentence has a model with an A-recursive diagram. A principal tool is forcing for $L_A$.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  10
    Models with Orderings.H. J. Keisler, B. van Rootselaar & J. F. Staal - 1974 - Journal of Symbolic Logic 39 (2):334-335.
  6.  26
    Selected Papers of Abraham Robinson.: Model Theory and Algebra.H. J. Keisler & A. Robinson - 1982 - Journal of Symbolic Logic 47 (1):197-203.
  7. Model Theory Vol. 73.C. C. Chang & H. J. Keisler - 1990 - Elsevier. Edited by J. Barwise, H. J. Keisler & P. Suppes.
     
    Export citation  
     
    Bookmark   1 citation  
  8.  44
    Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  9.  22
    2000 Annual Meeting of the Association for Symbolic Logic.A. Pillay, D. Hallett, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler & V. McGee - 2000 - Bulletin of Symbolic Logic 6 (3):361-396.
  10. University of Illinois at Urbana-Champaign, June 3–7, 2000.A. Pillay, D. Hallett, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler & V. McGee - 2000 - Bulletin of Symbolic Logic 6 (3).
     
    Export citation  
     
    Bookmark  
  11. Structures and the Hyperarithmetical Hierarchy. Knight has directed or co-directed seven doctoral dissertations in mathematics and one in electrical engineering. She served on selection panels for the NSF Postdoctoral Fellowships, on program committees of numerous meetings, and as an editor of The Journal of Symbolic Logic (1989-1995). [REVIEW]D. Haskell, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler, V. McGee & T. Pitassi - 2000 - Bulletin of Symbolic Logic 6 (1).
  12.  20
    Finite Approximations of Infinitely Long Formulas.H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130.
  13.  9
    Ressayre J. P.. Sur les théories du premier ordre catégoriques en un cardinal. Transactions of the American Mathematical Society, vol. 142 , pp. 481–305. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (4):684-685.
  14.  36
    Karp Carol R.. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 407–412. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  19
    Simon Kochen. Topics in the theory of definition. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836. [REVIEW]H. Jerome Keisler - 1969 - Journal of Symbolic Logic 34 (2):300-301.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  20
    Łos J.. On the extending of models . Fundamenta mathematicae, vol. 42 , pp. 38–54.Łos J. and Suszko R.. On the extending of models . Common extensions. Fundamenta mathematicae, vol. 42 , pp. 343–347.Słomiński J.. On the extending of models . Extensions in equationally definable classes of algebras. Fundamenta mathematicae, vol. 43 , pp. 69–76.Łos J. and Suszko R.. On the extending of models . Infinite sums of models. Fundamenta mathematicae, vol. 44 , pp. 52–60. [REVIEW]H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (1):93-95.
  17.  4
    Review: J. P. Ressayre, Sur les Theories du Premier Ordre Categoriques en un Cardinal. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (4):684-685.
  18.  32
    Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 , pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250. [REVIEW]H. Jerome Keisler - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  19.  13
    Review: Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski, Topics in the Theory of Definition; Walter Felscher, On Criteria of Definability. [REVIEW]H. Jerome Keisler - 1969 - Journal of Symbolic Logic 34 (2):300-301.
  20.  15
    Review: H. J. Keisler, B. van Rootselaar, J. F. Staal, Models with Orderings. [REVIEW]H.-D. Ebbinghaus - 1974 - Journal of Symbolic Logic 39 (2):334-335.
  21.  21
    Keisler H. J.. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62. [REVIEW]H. -D. Ebbinghaus - 1974 - Journal of Symbolic Logic 39 (2):334-335.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Review: H. J. Keisler, A. Robinson, Selected Papers of Abraham Robinson.: Model Theory and Algebra. [REVIEW]John T. Baldwin - 1982 - Journal of Symbolic Logic 47 (1):197-203.
  23.  7
    The categorical imperative.H. J. Paton - 1947 - New York,: Harper & Row.
    A classic exposition of Kant's ethical thought.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  24. Structural representations of objects: Invariance over a shape-distorting transformation.H. J. Hilton & L. A. Cooper - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 48-48.
     
    Export citation  
     
    Bookmark  
  25.  4
    Fremdheit und Vertrautheit: Hermeneutik im europäischen Kontext.H. J. Adriaanse & Rainer Enskat (eds.) - 1999 - Leuven: Peeters.
    The present volume contains the lectures and papers given at the 1994 international conference on hermeneutics in Halle (Germany). The conference aimed at a state of the art in the light of recent developments in science and humanities. The place in which the conference was held is renowned for its centuries-old tradition in hermeneutics and among the lectures there are indeed some devoted to this history. For the most part, however, the papers concentrate on present-day problems in fields as different (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Jean-Francois Lyotard: between politics and aesthetics.H. J. Silverman - 2002 - In Hugh J. Silverman (ed.), Lyotard: philosophy, politics, and the sublime. New York: Routledge. pp. 1--22.
     
    Export citation  
     
    Bookmark   1 citation  
  27. Les dimensions de la personnalité.H. J. Eysenck, Mazé & Bize - 1954 - Revue Philosophique de la France Et de l'Etranger 144 (1):296-297.
     
    Export citation  
     
    Bookmark  
  28. Les dimensions de la personnalité.H. J. Eysenck, Mazé & Bize - 1956 - Revue Philosophique de la France Et de l'Etranger 146:571-571.
     
    Export citation  
     
    Bookmark  
  29.  51
    Differentials, higher-order differentials and the derivative in the Leibnizian calculus.H. J. M. Bos - 1974 - Archive for History of Exact Sciences 14 (1):1-90.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   64 citations  
  30. Review: H. J. Keisler, A. Tarski, From Accessible to Inaccessible Cardinals. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):411-411.
  31.  44
    H. J. Keisler and A. Tarski. From accessible to inaccessible cardinals. Fundamenta mathematicae, vol. 53 , pp. 225–308. , p. 119.). [REVIEW]Azriel Lévy - 1967 - Journal of Symbolic Logic 32 (3):411.
  32.  60
    Plotinus' psychology.H. J. Blumenthal - 1971 - The Hague,: Martinus Nijhoff.
    CHAPTER INTRODUCTION At first sight Plotinus' philosophy is full of contradictions. The same entity will appear with different characteristics in different ...
  33. Kant's metaphysic of experience.H. J. Paton - 1936 - London,: G. Allen & Unwin.
  34.  17
    Adam Smith's Science of Morals.H. J. N. Horsburgh - 1972 - Philosophical Quarterly 22 (88):271-271.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  12
    Clavdivs and the Primores Galliae.H. J. Cunningham - 1914 - Classical Quarterly 8 (02):132-.
    This old difficulty has recently received a new explanation from the pen of Dr. E. G. Hardy . Dr. Hardy believes—and his view has met with some acceptance—that the disability, under which these Gallic candidates for admission to the Senate laboured, was the want of a municipalis origo. Up to this time, he contends, only Romans who were members of a town of Roman or Latin rights were eligible for admission to the Senate. Now in the Tres Galliae there were (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  6
    Claudius and the Primores Galliae.H. J. Cunningham - 1915 - Classical Quarterly 9 (01):57-.
    In the Classical Quarterly of April, 1914, I ventured to call in question the explanation of this well-known difficulty put forward by Dr. E G. Hardy in his Roman Laws and Charters. Dr. Hardy has done me the honour of replying to my article in the October Quarterly, but his lengthy argument entirely fails to convince me.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37.  9
    Clavdivs and the Primores Galliae.H. J. Cunningham - 1914 - Classical Quarterly 8 (2):132-133.
    This old difficulty has recently received a new explanation from the pen of Dr. E. G. Hardy. Dr. Hardy believes—and his view has met with some acceptance—that the disability, under which these Gallic candidates for admission to the Senate laboured, was the want of a municipalis origo. Up to this time, he contends, only Romans who were members of a town of Roman or Latin rights were eligible for admission to the Senate. Now in the Tres Galliae there were practically (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  8
    Virtues and Their Vices.H. J. Curzer - 2015 - Philosophical Quarterly 65 (258):108-113.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39. The Categorical Imperative: A Study in Kant's Moral Philosophy.H. J. Paton - 1946 - Hutchinson's University Library.
    This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may contain imperfections such as marks, notations, marginalia and flawed pages. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions that are true to the original work.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  40.  47
    Aristotle and Neoplatonism in late antiquity: interpretations of the De anima.H. J. Blumenthal - 1996 - Ithaca, N.Y.: Cornell University Press.
    Introduction: why the De anima commentaries? This book will concentrate on interpretations of the De anima in late antiquity, and what we can learn from ...
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  41.  20
    Plotinus on Sense-Perception: A Philosophical Study.H. J. Blumenthal & Eyjolfur Kjalar Emilsson - 1992 - Philosophical Review 101 (2):375.
  42.  62
    The conditioning model of neurosis.H. J. Eysenck - 1979 - Behavioral and Brain Sciences 2 (2):155-166.
    The long-term persistence of neurotic symptoms, such as anxiety, poses difficult problems for any psychological theory. An attempt is made to revive the Watson-Mowrer conditioning theory and to avoid the many criticisms directed against it in the past. It is suggested that recent research has produced changes in learning theory that can be used to render this possible. In the first place, the doctrine of equipotentiality has been shown to be wrong, and some such concept as Seligman's “preparedness” is required, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   96 citations  
  43. Kant's Metaphysic of Experience.H. J. Paton - 1937 - Philosophy 12 (45):99-104.
    No categories
     
    Export citation  
     
    Bookmark   69 citations  
  44. God and evil.H. J. McCloskey - 1960 - Philosophical Quarterly 10 (39):97-114.
  45.  34
    Neoplatonic Elements in the "de Anima" Commentaries.H. J. Blumenthal - 1976 - Phronesis 21 (1):64 - 87.
  46.  11
    Arguments on motivation in the rise and decline of a mathematical theory; the?construction of equations?, 1637?ca.1750.H. J. M. Bos - 1984 - Archive for History of Exact Sciences 30 (3-4):331-380.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47. Erklärung, Verständnis, Einverständnis Überlegungen zum Gespräch in der Onkologie.H. J. Avenarius - 1995 - Ethik in der Medizin 7:116-127.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  48.  10
    Neoplatonic Elements in the De Anima Commentaries1.H. J. Blumenthal - 1976 - Phronesis 21 (1):64-87.
  49.  20
    Tractional Motion and the Legitimation of Transcendental Curves.H. J. M. Bos - 1988 - Centaurus 31 (1):9-62.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50. The Categorical Imperative: A Study in Kant's Moral Philosophy.H. J. Paton - 1948 - Philosophy 23 (85):172-173.
    No categories
     
    Export citation  
     
    Bookmark   48 citations  
1 — 50 / 1000