Results for 'H. J. Keisler'

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.  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.  8
    Models with Orderings.H. J. Keisler, B. van Rootselaar & J. F. Staal - 1974 - Journal of Symbolic Logic 39 (2):334-335.
  4.  26
    Selected Papers of Abraham Robinson.: Model Theory and Algebra.H. J. Keisler & A. Robinson - 1982 - Journal of Symbolic Logic 47 (1):197-203.
  5.  79
    $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.  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  
  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.  42
    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.  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   8 citations  
  23. Onderwijsvernieuwing en cultuurverheffing.H. J. Van Bouwel - 1945 - [Antwerpen,: "Ontwikkeling,".
     
    Export citation  
     
    Bookmark  
  24. Florilegium iurisprudentiae Graeco-Romanae.H. J. Scheltema - 1950 - Leiden,: Brill.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Wijsbegeerte en levenspractijk.H. J. Spier - 1948 - Kampen,: J. H. Kok. Edited by J. M. Spier.
    No categories
     
    Export citation  
     
    Bookmark  
  26.  4
    The nature of the university: Comments and criticisms.H. J. Schutte - 1975 - Philosophical Papers 4 (1):40-54.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. The life and letters of Sir Henry Jones.H. J. W. Hetherington - 1924 - London,: Hodder & Stoughton. Edited by Henry Jones.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Evolution, Ökologie und die Verantwortung des Menschen.H. -J. Elster - 1983 - In Hans-Joachim Elster & Max Born (eds.), Naturwissenschaft und Technik: Wege in die Zukunft: Vorträge gehalten bei der Jahrestagung in Hannover zum hundersten Geburtstag von Max Born. Stuttgart: E. Schweizerbart.
     
    Export citation  
     
    Bookmark  
  29. Blaise Pascal, geloof en wetenschap.H. J. Heering - 1982 - In N. M. Wildiers (ed.), Tussen intuïtie en weten: zes grote denkers op het raakvlak tussen exacte en geesteswetenschappen. Muiderberg: Coutinho.
  30. Zur Rolle der Intuition in der spätbürgerlichen Wertauffassung.H. J. Kirchhoff & J. Kretschmer - 1980 - In Werner Lange & Dieter Grohmann (eds.), Zur Kritik bürgerlicher Wertauffassungen. Halle (Saale): Abt. Wissenschaftspublizistik der Martin-Luther-Universität Halle-Wittenberg.
     
    Export citation  
     
    Bookmark  
  31.  2
    Woordvolgordeverandering in die diachroniese ontwikkeling van tale met besondere verwysing na Afrikaans.H. J. Lubbe - 1983 - Bloemfontein: Universiteit van die Oranje-Vrystaat.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. De methodische betekenis van het rechtsbegrip.H. J. Hommes - 1965 - Zwolle,: W. E. J. Tjeenk Willink.
     
    Export citation  
     
    Bookmark  
  33. 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  
  34. 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  
  35. 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.
  36. Review: H. J. Keisler, A. Tarski, From Accessible to Inaccessible Cardinals. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):411-411.
  37.  41
    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.
  38. God and evil.H. J. McCloskey - 1960 - Philosophical Quarterly 10 (39):97-114.
  39. An examination of restricted utilitarianism.H. J. McCloskey - 1957 - Philosophical Review 66 (4):466-485.
  40. 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   35 citations  
  41. Rights.H. J. McCloskey - 1965 - Philosophical Quarterly 15 (59):115-127.
  42. Kant's metaphysic of experience.H. J. Paton - 1936 - London,: G. Allen & Unwin.
  43. De ogen van Lynceus.Drossaart Lulofs & J. H. - 1967 - Leiden,: Brill.
     
    Export citation  
     
    Bookmark  
  44. God and Evil.H. J. McCloskey - 1974 - International Journal for Philosophy of Religion 7 (1):323-324.
     
    Export citation  
     
    Bookmark   22 citations  
  45. Humanistische cultuur.H. J. De Vleeschauwer - 1942 - Brussel,: Uitg. De Lage Landen.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Philosophy and history.Raymond Klibansky & H. J. Paton (eds.) - 1936 - Oxford,: The Clarendon press.
  47. 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  
  48.  2
    De elementaire grondbegrippen der rechtswetenschap.van Eikema Hommes & J. H. - 1972 - Deventer,: Kluwer Academic Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  2
    De samengestelde grondbegrippen der rechtswetenschap: een juridische methodologie.van Eikema Hommes & J. H. - 1976 - Zwolle: W. E. J. Tjeenk Willink.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  10
    Truth criteria in deductive theories.J. Heidema & H. J. Schutte - 1978 - Philosophical Papers 7 (2):51-68.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000