14 found
Order:
  1.  30
    H. Jerome Keisler. Ultraproducts of Finite Sets. The Journal of Symbolic Logic, Vol. 32 , Pp. 47–57.James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):586.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis.James R. Geiser - 1974 - Journal of Symbolic Logic 39 (1):81-87.
  3.  15
    Jerome Keisler H.. A Survey of Ultraproducts. Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, Edited by Bar-Hillel Yehoshua, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 112–126. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):585.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  13
    Abraham Robinson. On Languages Which Are Based on Non-Standard Arithmetic.Nagoya Mathematical Journal, Vol. 22 , Pp.83–117. [REVIEW]James R. Geiser - 1969 - Journal of Symbolic Logic 34 (3):516-517.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  26
    A. S. Yessenin-Volpin. The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  14
    Nonstandard Analysis.James R. Geiser - 1970 - Mathematical Logic Quarterly 16 (6):297-318.
  7.  21
    Nonstandard Logic.James R. Geiser - 1968 - Journal of Symbolic Logic 33 (2):236-250.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    Jerome Keisler H.. Ultraproducts and Saturated Models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 67 , Pp. 178–186; Also Indagationes Mathematicae, Vol. 26 , Pp. 178–186. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):584-585.
  9.  10
    Review: H. Jerome Keisler, Ultraproducts Which Are Not Saturated. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):585-585.
  10.  10
    Review: H. Jerome Keisler, Ultraproducts of Finite Sets. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):586-586.
  11.  10
    Review: H. Jerome Keisler, Ultraproducts and Saturated Models. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):584-585.
  12.  6
    Review: H. Jerome Keisler, A Survey of Ultraproducts. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):585-585.
  13.  6
    Review: A. S. Yessenin-Volpin, The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
  14.  1
    Review: Abraham Robinson, On Languages Which Are Based on Non-Standard Arithmetic. [REVIEW]James R. Geiser - 1969 - Journal of Symbolic Logic 34 (3):516-517.