117 found
Order:
Disambiguations
Kurt Schütte [84]K. Schütte [45]Kurt[from old catalog] Schütte [1]K. H. Schütte [1]
See also
  1.  1
    Proof Theory.K. Schütte - 1977 - Springer Verlag.
  2.  33
    The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   48 citations  
  3. 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   15 citations  
  4.  16
    Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  5. 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.
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  6.  22
    Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  7.  9
    Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  8.  27
    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.
  9.  19
    Ein Wohlordnungsbeweis Für Das OrdinalzahlensystemT(J).K. Schütte - 1988 - Archive for Mathematical Logic 27 (1):5-20.
    A recursive notation system of a strong segment of ordinals was developped by Jäger [3]. An unessential modified versionT(J) of this notation system was described in [4]. In the following, the well-ordering ofT(J) is proved in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension. It follows, that the proof theoretical ordinal ofΠ 2 1 -analysis is greater than the order type ofT(J).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  7
    Beweistheorie von KPN.Kurt Schutte & Gerhard Jager - 1983 - Journal of Symbolic Logic 48 (3):879.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  11.  1
    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  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  12.  84
    Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions.Kurt Schutte, W. Buchholz & W. Pohlers - 1983 - Journal of Symbolic Logic 48 (3):878.
  13.  17
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  14.  43
    Paul Bernays. Vorwort. Abhandlungen zur Philosophie der Mathematik, von Paul Bernays, Wissenschaftliche Buchgesellschaft, Darmstadt1976, S. VII–X. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):147.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  41
    Dag Prawitz. Hauptsatz for Higher Order Logic. The Journal of Symbolic Logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for Second Order Logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A Proof of Cut-Elimination in Simple Type-Theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
  16.  38
    M. E. Szabo. Biographical Sketch. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. Vii–Viii. - M. E. Szabo. Introduction. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. 1–28. - Gerhard Gentzen. On the Existence of Independent Axiom Systems for Infinite Sentence Systems. Englische Übersetzung von 4427. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. 29–52. - Gerhard Gentzen. On the Relation Between Intuitionist and Classical Arithmetic. Englische Übersetzung des Über Das Verhältnis Zwischen Intuitionistischer Und Klassischer Arithmetik . The Collected Papers of Gerhard Gentz. [REVIEW]K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
  17.  13
    Aussagenlogische Grundeigenschaften Formaler Systeme.K. SchÜtte - 1958 - Dialectica 12 (3):422.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  18.  21
    Shôji Maehara, Toshio Nishimura, Und Setsuya Seki. Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 , S. 269–288. [REVIEW]K. Schütte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  8
    Mathematische Existenz und Widerspruchfreiheit.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  20.  19
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  8
    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  
  22.  17
    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.
  23. Einführung in Die Logistik, Vorzüglich in den Modalkalkül.K. Schütte - 1952 - Journal of Symbolic Logic 17 (1):59-60.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. 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  
  25. Eine Bemerkung über quasirekursioe Funktionen.K. Schütte - 1951 - Archive for Mathematical Logic 1 (2):63.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  2
    Isilc Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday: Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.K. Schütte, Justus Diller & G. H. Müller (eds.) - 1964 - Springer Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Lecture Notes in Mathematical Logic.Kurt[from old catalog] Schütte - 1962 - University Park, Dept. Of Mathematics, Pennsylvania State University.
  28. Review: Gaisi Takeuti, On Skolem's Theorem. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
     
    Export citation  
     
    Bookmark  
  29. Review: Gaisi Takeuti, A Metamathematical Theorem on Functions. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-66.
  30. 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. Review: Gaisi Takeuti, Construction of Ramified Real Numbers. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
  33. Review: Gaisi Takeuti, On the Fundamental Conjecture of GLC. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):62-64.
  34. Review: Gaisi Takeuti, On the Formal Theory of the Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
  35. Review: H. Rasiowa, A Proof of $Epsilon$-Theorems; H. Rasiowa, On the $Epsilon$-Theorems. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
  36. Sull'origine delle comete.K. Schütte - 1943 - Scientia 37 (73):du Supplém. 25.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Ueber der Ursprung der Kometen.K. Schütte - 1943 - Scientia 37 (73):144.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  14
    Paul Bernays. Probleme der theoretischen Logik. Neudruck von 2877. Ebd., S. 1–16.K. Schütte - 1978 - Journal of Symbolic Logic 43 (1):147-153.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  26
    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.
  40.  6
    Some Forms of Models of Propositional Calculi.R. Harrop, H. Arnold Schmidt, K. Schutte & Ronald Harrop - 1975 - Journal of Symbolic Logic 40 (2):251-251.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  25
    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.
  42.  24
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  12
    Takakazu Simauti. A Note on the Construction of Ordinal Numbers. Commentarii Mathematici Universitatis Sancti Pauli, Bd. 12 , S. 37–39. [REVIEW]K. Schütte - 1967 - Journal of Symbolic Logic 32 (3):396.
  44.  22
    Ł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.
  45.  71
    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.
  46.  21
    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.
  47.  12
    Review: Hiroshi Nagai, The Concept of Formality in Mathematics. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (3):249-250.
  48.  24
    Review: Shoji Maehara, The Predicate Calculus with $Varepsilon$-Symbol. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
  49.  18
    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.
  50.  17
    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  
1 — 50 / 117