112 found
Order:
Disambiguations
Kurt Schütte [74]K. Schütte [43]Kurt[from old catalog] Schütte [1]K. H. Schütte [1]
See also
  1. Proof Theory.K. Schütte - 1977 - Springer Verlag.
  2.  40
    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  
  3.  33
    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.
  4.  31
    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.
  5.  25
    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.  17
    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  
  7. 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   7 citations  
  8.  15
    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.
  9.  15
    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.
  10.  12
    Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  11.  13
    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  
  12.  11
    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.
  13.  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.
  14.  76
    Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions.Kurt Schutte, W. Buchholz & W. Pohlers - 1983 - Journal of Symbolic Logic 48 (3):878.
  15. 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   5 citations  
  16.  18
    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  
  17.  15
    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   7 citations  
  18.  6
    W. W. Tait. The Substitution Method. The Journal of Symbolic Logic, Bd. 30 , S. 175–192.K. Schütte - 1973 - Journal of Symbolic Logic 38 (4):660.
  19.  10
    Review: Hiroshi Nagai, The Concept of Formality in Mathematics. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (3):249-250.
  20.  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  
  21.  8
    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   5 citations  
  22.  14
    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  
  23.  36
    Meeting of the Association for Symbolic Logic.H. A. Schmidt, K. Schütte, E.-J. Thiele & M. J. Cresswell - 1967 - Journal of Symbolic Logic 32 (4):556-577.
  24.  3
    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  
  25.  21
    Ł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.  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.
  27.  21
    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.
  28.  20
    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  
  29.  5
    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  
  30.  12
    Aussagenlogische Grundeigenschaften Formaler Systeme.K. SchÜtte - 1958 - Dialectica 12 (3):422.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  31.  11
    Betrachtungen zum Paradoxon von Thoralf Skolem.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  32.  5
    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.
  33.  15
    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.
  34.  14
    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.
  35.  13
    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.
  36.  16
    Review: H. Rasiowa, Algebraic Models of Axiomatic Theories; H. Rasiowa, Constructive Theories. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):285-286.
  37.  7
    Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen.J. Diller, H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  12
    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  
  39.  18
    Review: Paul Bernays, Betrachtungen zu Ludwig Wittgensteins "Bemerkungen uber die Grundlagen der Mathematik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):150-150.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  18
    Review: Paul Bernays, Probleme der Theoretischen Logik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):147-148.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  17
    Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen. [REVIEW]K. Schutte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
  42.  17
    Review: Paul Bernays, Uber den Platonismus in der Mathematik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):149-149.
  43.  17
    Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.Kurt Schütte - 1987 - Archive for Mathematical Logic 26 (1):29-55.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  17
    Review: Wilhelm Ackermann, Der Aufbau Einer Hoheren Logik. [REVIEW]Kurt Schutte - 1975 - Journal of Symbolic Logic 40 (3):458-458.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  16
    Review: Paul Bernays, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):148-149.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  16
    Review: Shoji Maehara, Toshio Nishimura, Setsuya Seki, Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension. [REVIEW]K. Schutte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Contributions to Mathematical Logic.H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) - 1968 - Amsterdam: North-Holland.
  48.  15
    Review: Shoji Maehara, The Predicate Calculus with $Varepsilon$-Symbol. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
  49.  15
    Review: Paul Lorenzen, Uber das Prinzip "ex Falso Quodlibet.". [REVIEW]K. Schütte - 1954 - Journal of Symbolic Logic 19 (4):298-298.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  3
    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   1 citation  
1 — 50 / 112