22 found
Order:
  1. On the Craig-Lyndon interpolation theorem.Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (2):271-274.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  2.  16
    Georg Cantor, His Mathematics and Philosophy of the Infinite.Arnold Oberschelp - 1982 - Journal of Symbolic Logic 47 (2):456-457.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  6
    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.
  4.  38
    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  
  5.  20
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  17
    Klassentheoretische Paare.Arnold Oberschelp & Günter Todt - 1981 - Mathematical Logic Quarterly 27 (36):565-568.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  27
    Klassentheoretische Paare.Arnold Oberschelp & Günter Todt - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):565-568.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  18
    On Pairs and Tuples.Arnold Oberschelp - 1991 - Mathematical Logic Quarterly 37 (2‐4):55-56.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  31
    On Pairs and Tuples.Arnold Oberschelp - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):55-56.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  54
    The Busy Beaver Game and the Meaning of Life.Arnold Oberschelp & Allen H. Brady - 1991 - Journal of Symbolic Logic 56 (3):1091.
  11.  22
    Allen H. Brady. The busy beaver game and the meaning of life. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 259–277. [REVIEW]Arnold Oberschelp - 1991 - Journal of Symbolic Logic 56 (3):1091-1091.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  22
    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.
  13.  10
    Jerome Keisler H.. Reduced products and Horn classes. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 307–328. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):507-507.
  14.  42
    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.
  15.  41
    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  
  16.  5
    Review: Fred Galvin, Reduced Products, Horn Sentences, and Decision Problems. [REVIEW]Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (3):477-477.
  17.  1
    Review: H. Jerome Keisler, Reduced Products and Horn Classes. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):507-507.
  18.  8
    Review: H. Jerome Keisler, Limit Ultraproducts. [REVIEW]Arnold Oberschelp - 1967 - Journal of Symbolic Logic 32 (2):277-278.
  19.  7
    Review: Joseph Warren Dauben, Georg Cantor, His Mathematics and Philosophy of the Infinite. [REVIEW]Arnold Oberschelp - 1982 - Journal of Symbolic Logic 47 (2):456-457.
  20.  31
    Review: Roger C. Lyndon, Metamathematics and Algebra: An Example. [REVIEW]Arnold Oberschelp - 1969 - Journal of Symbolic Logic 34 (4):653-653.
  21.  9
    Review: T. Frayne, A. C. Morel, D. S. Scott, Reduced Direct Products. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):506-507.
  22.  16
    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