Results for 'H. J. Keisler'

1000+ found
Order:
  1.  54
    From Accessible to Inaccessible Cardinals.H. J. Keisler & A. Tarski - 1967 - Journal of Symbolic Logic 32 (3):411-411.
  2.  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  
  3.  11
    Models with Orderings.H. J. Keisler, B. van Rootselaar & J. F. Staal - 1974 - Journal of Symbolic Logic 39 (2):334-335.
  4.  27
    Selected Papers of Abraham Robinson.: Model Theory and Algebra.H. J. Keisler & A. Robinson - 1982 - Journal of Symbolic Logic 47 (1):197-203.
  5.  81
    $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  
  6.  22
    $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  
  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.  45
    Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  9.  23
    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.  21
    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.  41
    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.  21
    Ł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.  33
    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.  22
    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. Review: H. J. Keisler, A. Tarski, From Accessible to Inaccessible Cardinals. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):411-411.
  24.  63
    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  
  25. Kant's metaphysic of experience.H. J. Paton - 1936 - London,: G. Allen & Unwin.
  26. God and evil.H. J. McCloskey - 1960 - Philosophical Quarterly 10 (39):97-114.
  27. 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  
  28.  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.
  29. An examination of restricted utilitarianism.H. J. McCloskey - 1957 - Philosophical Review 66 (4):466-485.
  30. A non-utilitarian approach to punishment.H. J. McCloskey - 1965 - Inquiry: An Interdisciplinary Journal of Philosophy 8 (1-4):249 – 263.
    Although the view that punishment is to be justified on utilitarian grounds has obvious appeal, an examination of utilitarianism reveals that, consistently and accurately interpreted, it dictates unjust punishments which are unacceptable to the common moral consciousness. In this rule?utilitarianism is no more satisfactory than is act?utilitarianism. Although the production of the greatest good, or the greatest happiness, of the greatest number is obviously a relevant consideration when determining which punishments may properly be inflicted, the question as to which punishment (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  31.  53
    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  
  32. Kant's Metaphysic of Experience.H. J. Paton - 1937 - Philosophy 12 (45):99-104.
    No categories
     
    Export citation  
     
    Bookmark   69 citations  
  33. Rights.H. J. McCloskey - 1965 - Philosophical Quarterly 15 (59):115-127.
  34.  21
    Criterion analysis--An application of the hypothetico-deductive method to factor analysis.H. J. Eysenck - 1950 - Psychological Review 57 (1):38-53.
  35.  27
    Bacons technisch utopia.H. J. Achterhuis - 1999 - Wijsgerig Perspectief 39 (4):105-109.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  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  
  37. Husserl jako filosof kultury. Nad XXVII. svazkem Husserlian.H. J. Adriaanse - 1992 - Filosoficky Casopis 40 (2):191-205.
     
    Export citation  
     
    Bookmark  
  38. Il rapimento dell'Europa e la teologia.H. J. Adriaanse - 1992 - In Giovanni Ferretti (ed.), Filosofia e teologia nel futuro dell'Europa: atti del Quinto Colloquio su filosofia e religione (Macerata, 24-27 ottobre 1990). Marietti.
     
    Export citation  
     
    Bookmark  
  39.  2
    Theologie en rationaliteit: godsdienstwijsgerige bijdragen.H. J. Adriaanse & H. A. Krop (eds.) - 1988 - Kampen: Kok.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. The Categorical Imperative: A Study in Kant's Moral Philosophy.H. J. Paton - 1948 - Mind 57 (225):93-102.
    No categories
     
    Export citation  
     
    Bookmark   47 citations  
  41. 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  
  42. Artificial transmutation of the gene.H. J. Muller - 2014 - In Francisco José Ayala & John C. Avise (eds.), Essential readings in evolutionary biology. Baltimore: The Johns Hopkins University Press.
  43. God and Evil.H. J. McCloskey - 1974 - International Journal for Philosophy of Religion 7 (1):323-324.
     
    Export citation  
     
    Bookmark   24 citations  
  44. Review: H. J. Keisler, A Complete First-Order Logic with Infinitary Predicates. [REVIEW]Carol Karp - 1966 - Journal of Symbolic Logic 31 (2):269-269.
  45. The Eysenck Personality Inventory.H. J. Eysenck & S. G. B. Eysenck - 1965 - British Journal of Educational Studies 14 (1):140-140.
  46. The importance of the sensory attribute of order.H. J. Watt - 1920 - Mind 29 (115):257-276.
  47. The Main Principles of Sensory Integration.H. J. Watt - 1914 - Philosophical Review 23:241.
     
    Export citation  
     
    Bookmark  
  48. The Relation of Mind and Body.H. J. Watt - 1913 - Philosophical Review 22:348.
  49.  3
    Viii.—New books.H. J. Watt - 1924 - Mind 33 (131):335-337.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  45
    Abusing Use1.H. J. Glock - 1996 - Dialectica 50 (3):205-224.
    summaryThis paper discusses objections against the idea that the meaning of a word is its use. Sct. 1 accepts Rundle's point that ‘meaning’ and ‘use’ are used differently, but insists that this is compatible with holding that use determines meaning, an therefore holds the key to conceptual analysis. Scts. 2–4 rebut three lines of argument which claim that linguistic philosophy goes astray by reading into the meaning of words non‐semantic features of its use: Searle's general speech act fallacy charge, Hacker's (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
1 — 50 / 1000