12 found
Order:
  1.  87
    The Busy Beaver Game and the Meaning of Life.Arnold Oberschelp - 1991 - Journal of Symbolic Logic 56 (3):1091.
  2. On the Craig-Lyndon interpolation theorem.Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (2):271-274.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  3.  68
    H. Jerome Keisler. Limit ultraproducts. The journal of symbolic logic, vol. 30 , pp. 212–234.Arnold Oberschelp - 1967 - Journal of Symbolic Logic 32 (2):277-278.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.Gert Heinz Müller, Arnold Oberschelp & Karl Potthoff (eds.) - 1975 - New York: Springer Verlag.
  5.  48
    Castor quadruplorum.Arnold Oberschelp, Karsten Schmidt-Göttsch & Günter Todt - 1988 - Archive for Mathematical Logic 27 (1):35-44.
    The busy beaver problem of Rado [6] is reexamined for the case of Turing machines given by quadruples rather than quintuples. Moreover several printing symbols are allowed. Some values of the corresponding beaver function are given and it is shown that this function for a fixed number of states and varying number of symbols is nonrecursive for three or more states and recursive for two states. As a byproduct we get that the minimal number of states in a universal Turing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  23
    (1 other version)Klassentheoretische Paare.Arnold Oberschelp & Günter Todt - 1981 - Mathematical Logic Quarterly 27 (36):565-568.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  26
    (1 other version)On Pairs and Tuples.Arnold Oberschelp - 1991 - Mathematical Logic Quarterly 37 (2‐4):55-56.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  82
    Joseph Warren Dauben. Georg Cantor, his mathematics and philosophy of the infinite. Harvard University Press, Cambridge, Mass. and London, 1979, ix + 404 pp. [REVIEW]Arnold Oberschelp - 1982 - Journal of Symbolic Logic 47 (2):456-457.
  9.  57
    Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 , pp. 59–64. [REVIEW]Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (3):477.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10.  56
    (1 other version)Roger C. Lyndon. Metamathematics and algebra: An example. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford 1962, pp. 143–150. [REVIEW]Arnold Oberschelp - 1970 - Journal of Symbolic Logic 34 (4):653-653.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  29
    Review: H. Jerome Keisler, Reduced Products and Horn Classes. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):507-507.
  12.  41
    T. Frayne, A. C. Morel, and D. S. Scott. Reduced direct products. Fundamenta mathematicae, vol. 51 , pp. 195–228. , p. 117.). [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):506-507.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark