8 found
Order:
  1.  57
    Models and Ultraproducts: An Introduction.J. L. Bell & A. B. Slomson - 1972 - Journal of Symbolic Logic 37 (4):763-764.
  2.  39
    An undecidable two sorted predicate calculus.A. B. Slomson - 1969 - Journal of Symbolic Logic 34 (1):21-23.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  25
    Bertrand russell memorial logic conference £200 essay prize.J. L. Bell, M. A. Dickmann, M. Machover, G. Priest, A. B. Slomson, Y. Suzuki & G. M. Wilmers - 1975 - Journal of Symbolic Logic 40 (2):298-298.
  4.  15
    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.
  5.  42
    An algebraic characterization of indistinguishable cardinals.A. B. Slomson - 1970 - Journal of Symbolic Logic 35 (1):97-104.
    Two cardinals are said to beindistinguishableif there is no sentence of second order logic which discriminates between them. This notion, which is defined precisely below, is closely related to that ofcharacterizablecardinals, introduced and studied by Garland in [3]. In this paper we give an algebraic criterion for two cardinals to be indistinguishable. As a consequence we obtain a straightforward proof of an interesting theorem about characterizable cardinals due to Zykov [6].
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  6.  39
    (1 other version)Chang C. C. and Keisler H. Jerome. Applications of ultraproducts of pairs of cardinals to the theory of models. Pacific journal of mathematics, vol. 12 , pp. 835–845.Chang C. C.. A note on the two cardinal problem. Proceedings of the American Mathematical Society, vol. 16 no. 6 , pp. 1148–1155. [REVIEW]A. B. Slomson - 1971 - Journal of Symbolic Logic 36 (2):338-339.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  34
    Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”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. 121–131. [REVIEW]A. B. Slomson - 1970 - Journal of Symbolic Logic 35 (2):342.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    Review: Gebhard Furhken, J. W. Addison, Leon Henkin, Alfred Tarski, Languages with Added Quantifier There Exist at Least $aleph_alpha$. [REVIEW]A. B. Slomson - 1970 - Journal of Symbolic Logic 35 (2):342-342.