46 found
Order:
  1.  15
    Vollständige Systeme modaler und intuitionistischer Logik.Kurt Schütte - 1968 - New York,: Springer Verlag.
    s. A: KIuPKB entwickelte in einer einheitIichen Systematik vollstlindige Interpretationen fiir viele Systeme der Modalitatenlogik, die vorber nur syn­ taktisch fixiert waren. Hiermit ergab sich auf dem Wege tiber eine quantoren­ logische Erweiterung des Modalitatensystems S4 zugleich eine Semantik fUr die intuitionistische Priidikatenlogik:. Der vorliegende Ergebnisbericht behandelt im Rahmen der klassischen Priidikatenlogik: zwei Modalitatensysteme, deren aussagenlogische Teile mit den Systemen M von v. WRIGHT und S4 von LEWIS tibereinstimmen. Es gibt verschiedene Moglichkeiten, aussagenlogische Modalitatensysteme quantoren­ logisch zu erweitem. Die hier (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  2. Syntactical and semantical properties of simple type theory.Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (4):305-326.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  3. Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.Kurt Schütte & Stephen G. Simpson - 1985 - Archive for Mathematical Logic 25 (1):75-89.
     
    Export citation  
     
    Bookmark   7 citations  
  4.  14
    Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  30
    Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 , S. 1–30.Kurt Schütte - 1966 - Journal of Symbolic Logic 31 (4):660.
  6.  19
    Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger.Kurt Schütte - 1988 - Archive for Mathematical Logic 27 (1):85-99.
    This paper gives a recursive generalization of a strong notation system of ordinals, which was devellopped by Jäger [3]. The generalized systemT(V′) is based on a hierarchy of Veblen-functions for inaccessible ordinals. The definition ofT(V′) assumes the existence of a weak Mahlo-ordinal. The wellordering ofT(V′) is provable in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension in a similar way, as it is proved in [6] for the weaker notation systemT(V′).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  7
    (1 other version)Non-uniqueness at ω2 in Kleene'sO.John N. Crossley & Kurt Schütte - 1966 - Archive for Mathematical Logic 9 (3-4):95-101.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  30
    An Upper Bound for the Provability of Transfinite Induction in Systems with N-Times Iterated Inductive Definitions.Kurt Schutte, W. Pohlers, J. Diller & G. H. Muller - 1983 - Journal of Symbolic Logic 48 (3):878.
  9.  7
    Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966.H. Arnold Schmidt, Kurt Schutte & H. J. Thiele (eds.) - 1968 - New York, NY, USA: North-Holland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  9
    Gaisi Takeuti. On the fundamental conjecture of GLC. VI. Proceedings of the Japan Academy, vol. 37 , pp. 440–443.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):147.
  11.  25
    (1 other version)Gaisi Takeuti. Ordinal diagrams II. Journal of the Mathematical Society of Japan, vol. 12 , pp. 385–391.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
  12.  27
    Lorenzen Paul. Die Widerspruchsfreiheit der klassischen Analysis. Ebd., Bd. 54 Heft 1 , S. 1–24.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):261-262.
  13.  7
    Lorenzen Paul. Gleichheit und Ungleichheit in der Arithmetik. Mathematische Nachrichten, Bd. 1 , S. 337–341.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-260.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    (1 other version)Lorenzen Paul. Konstruktive Begründung der Mathematik. Mathematische Zeitschrift, Bd. 53 Heft 2 , S. 162–202.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-261.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15. Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.Kurt Schütte - 1987 - Archive for Mathematical Logic 26 (1):29-55.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  16.  25
    (1 other version)Nagai Hiroshi. Some aspects of the philosophy of science in Japan. Ebd., S. 63–90.Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):353-353.
  17.  27
    Suetuna Zyoiti. Über den Begriff der Totalität in der Mathematik. Ebd., S. 33–40.Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-353.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Hermes Hans. Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. Springer-Verlag, Berlin-Göttingen-Heidelberg 1961, X + 246 pp. [REVIEW]Kurt Schutte - 1966 - Journal of Symbolic Logic 31 (2):254-254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  48
    (1 other version)Maehara Shôji. Equality axiom on Hubert's ε-symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, vol. 7 , pp. 419–435. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-110.
  20.  23
    (2 other versions)Maehara Shôji. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 , pp. 923–926. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
  21.  24
    (1 other version)Nagai Hiroshi. The concept of formality in mathematics. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 5 , pp. 289–312. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (3):249-250.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  33
    Łoś J., Mostowski A., and Rasiowa H.. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 , S. 19–24.Łoś J., Rasiowa H., and Mostowski A.. Addition au travail “A proof of Herbrand theorem.” Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 , S. 129–134. [REVIEW]Kurt Schutte - 1971 - Journal of Symbolic Logic 36 (1):168-169.
  23.  25
    (1 other version)Łoś Jerzy. Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, S. 98–113. [REVIEW]Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (2):168-168.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  29
    (1 other version)Orey Steven. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 , pp. 72–84. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):96-96.
  25.  23
    Review: Gerhard Jager, Beweistheorie von KPN. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-879.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  29
    (1 other version)Review: Gaisi Takeuti, An Example on the Fundamental Conjecture of GLC. [REVIEW]Kurt Schutte - 1963 - Journal of Symbolic Logic 28 (2):173-173.
  27.  11
    (2 other versions)Review: Gaisi Takeuti, Remark on my Paper: On Skolem's Theorem. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  13
    Review: Gaisi Takeuti, Construction of the Set Theory from the Theory of Ordinal Numbers. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-67.
  29.  5
    Review: Gaisi Takeuti, A Metamathematical Theorem on Functions. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-66.
  30.  7
    (1 other version)Review: Gaisi Takeuti, Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
  31. Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
  32.  17
    Review: Gaisi Takeuti, Mariko Yasugi, The Ordinals of the Systems of Second Order Arithmetic with the Provably $triangle^12$-Comprehension Axiom and with the $triangle^12$- Comprehension Axiom Respectively. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-878.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  14
    (1 other version)Review: Gaisi Takeuti, On the Recursive Functions of Ordinal Numbers. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):88-88.
  34.  4
    (1 other version)Review: Gaisi Takeuti, Construction of Ramified Real Numbers. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
  35.  8
    (1 other version)Review: Gaisi Takeuti, On a Generalized Logic Calculus. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):351-352.
  36. (1 other version)Review: Gaisi Takeuti, On the Fundamental Conjecture of GLC. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):62-64.
  37.  12
    (1 other version)Review: Gaisi Takeuti, A Metamathematical Theorem on the Theory of Ordinal Numbers. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):62-62.
  38.  6
    (1 other version)Review: Gaisi Takeuti, On the Formal Theory of the Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
  39. (1 other version)Review: Gaisi Takeuti, On the Theory of Ordinal Numbers. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
  40.  12
    (1 other version)Rasiowa H.. A proof of ε-theorems. Ebd., Bd. 3 , S. 299–302.Rasiowa H.. On the ε-theorems. Fundamenta mathematicae, Bd. 43 , S. 156–165. , S. 333.). [REVIEW]Kurt Schütte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
  41.  25
    Review: H. Rasiowa, Algebraic Models of Axiomatic Theories; H. Rasiowa, Constructive Theories. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):285-286.
  42.  22
    Review: Wilhelm Ackermann, Der Aufbau Einer Hoheren Logik. [REVIEW]Kurt Schutte - 1975 - Journal of Symbolic Logic 40 (3):458-458.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  23
    Review: W. Pohlers, Cut-Elimination for Impredicative Infinitary Systems. Part I. Ordinal- Analysis for $ID_1$; W. Pohlers, Cut Elimination for Impredicative Infinitary Systems. Part II. Ordinal Analysis for Iterated Inductive Definitions. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-880.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  12
    Shimauti Takakazu. Proof of a special case of the fundamental conjecture of Takeuti's GLC. Journal of the Mathematical Society of Japan, vol. 8 , pp. 135–144. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-64.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  15
    Takeuti Gaisi and Yasugi Mariko. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 , pp. 1–67. [REVIEW]Kurt Schütte - 1983 - Journal of Symbolic Logic 48 (3):877-880.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  27
    Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 , S. 5–22. [REVIEW]Kurt Schütte - 1975 - Journal of Symbolic Logic 40 (3):458.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark