38 found
Order:
  1.  18
    Vollständige Systeme modaler und intuitionistischer Logik.Kurt Schütte - 1968 - New York,: Springer.
    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.
  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.  18
    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.  66
    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.  22
    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.  8
    (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.  45
    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.  13
    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.  38
    (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.  28
    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.  59
    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 (8 more)  
     
    Export citation  
     
    Bookmark  
  14. 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  
  15.  51
    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.
  16.  45
    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  
  17.  58
    Takeuti Gaisi. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 , pp. 386–394.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
  18.  75
    Takeuti Gaisi. On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 , pp. 71–76.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  19.  45
    Takeuti Gaisi. On the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 9 , pp. 93–113.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
  20.  33
    Ł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 Schutte - 1960 - Journal of Symbolic Logic 25 (2):168-168.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21. 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.
  22.  41
    Hermes Hans. Einführung in die mathematische Logik. Klassische Prädikatenlogik. B. G. Teubner Verlagsgesellschaft, Stuttgart 1963, 187 S. [REVIEW]Kurt Schutte - 1965 - Journal of Symbolic Logic 30 (3):355-356.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  26
    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  
  24.  51
    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  
  25.  52
    Ł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.
  26.  65
    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.
  27. Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
  28.  16
    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 Schutte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  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.
  30.  24
    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  
  31.  37
    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 Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-880.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  52
    Takeuti Gaisi. An example on the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 12 , pp. 238–242. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (2):173-173.
  33.  29
    Takeuti Gaisi. Construction of ramified real numbers. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 1 , S. 41–61. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
  34.  19
    Takeuti Gaisi. On a generalized logic calculus. Japanese journal of mathematics, Bd. 23 , S. 39–96. Errata, ebd., Bd. 24 , S. 149–156. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):351-352.
  35.  56
    Takedti Gaisi. On the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 7 ,pp. 249–275, 394–408, and vol. 8 , pp. 54–64, 145–155, and vol. 10,pp. 121–134. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):62-64.
  36.  54
    Takeuti Gaisi. On the formal theory of the ordinal diagrams. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 3 , pp. 151–170. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
  37.  29
    Takeuti Gaisi. On the recursive functions of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 12 no. 2 , pp. 119–128. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):88-88.
  38.  61
    Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 , S. 5–22. [REVIEW]Kurt Schutte - 1975 - Journal of Symbolic Logic 40 (3):458.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark