138 found
Order:
Disambiguations
Kurt Schütte [89]K. Schütte [49]K. H. Schutte [1]Kurt[from old catalog] Schütte [1]
See also
Profile: Karl Schutte
  1. Proof Theory.K. Schütte - 1977 - Springer Verlag.
     
    Export citation  
     
    My bibliography   55 citations  
  2. Syntactical and Semantical Properties of Simple Type Theory.Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (4):305-326.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  11
    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
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  2
    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  
     
    My bibliography   7 citations  
  5.  2
    Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  6.  1
    Aussagenlogische Grundeigenschaften Formaler Systeme.K. SchÜtte - 1958 - Dialectica 12 (3):422.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  9
    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.
  8. Contributions to Mathematical Logic.H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) - 1968 - Amsterdam: North-Holland.
  9.  9
    Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.Kurt Schütte - 1987 - Archive for Mathematical Logic 26 (1):29-55.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  10. Review: Hiroshi Nagai, The Concept of Formality in Mathematics. [REVIEW]Kurt Schutte - 1963 - Journal of Symbolic Logic 28 (3):249-250.
  11. Review: Gaisi Takeuti, On the Theory of Ordinal Numbers. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
  12. Review: Gaisi Takeuti, Construction of the Set Theory From the Theory of Ordinal Numbers. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):66-67.
     
    Export citation  
     
    My bibliography  
  13.  5
    Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen. [REVIEW]K. Schutte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
  14. Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2/4):55.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  15. Review: Takakazu Simauti, A Note on the Construction of Ordinal Numbers. [REVIEW]K. Schutte - 1967 - Journal of Symbolic Logic 32 (3):396-396.
  16. Review: Hans Hermes, Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit. Einfuhrung in die Theorie der Rekursiven Funktionen. [REVIEW]Kurt Schutte - 1966 - Journal of Symbolic Logic 31 (2):254-254.
    Translate
     
     
    Export citation  
     
    My bibliography  
  17.  4
    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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  4
    Review: Paul Lorenzen, Uber das Prinzip "ex Falso Quodlibet.". [REVIEW]K. Schutte - 1954 - Journal of Symbolic Logic 19 (4):298-298.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik. [REVIEW]Kurt Schutte - 1965 - Journal of Symbolic Logic 30 (3):355-356.
    Translate
     
     
    Export citation  
     
    My bibliography  
  20.  3
    Review: W. W. Tait, The Substitution Method. [REVIEW]K. Schutte - 1973 - Journal of Symbolic Logic 38 (4):660-660.
  21.  3
    Review: W. Pohlers, Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):878-878.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    Review: Gaisi Takeuti, An Example on the Fundamental Conjecture of GLC. [REVIEW]Kurt Schutte - 1963 - Journal of Symbolic Logic 28 (2):173-173.
  23.  1
    Systems of Predicative Analysis.Kurt Schutte & Solomon Feferman - 1966 - Journal of Symbolic Logic 31 (4):660.
  24. Review: Jerzy Los, Quelques Remarques, Theoremes et Problemes sur les Classes Definissables d'Algebres. [REVIEW]Kurt Schutte - 1960 - Journal of Symbolic Logic 25 (2):168-168.
    Translate
     
     
    Export citation  
     
    My bibliography  
  25. Review: Gaisi Takeuti, Ordinal Diagrams II. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
  26.  2
    Review: Paul Bernays, Uber den Platonismus in der Mathematik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):149-149.
  27.  2
    Review: Dag Prawitz, Hauptsatz for Higher Order Logic; Dag Prawitz, Completeness and Hauptsatz for Second Order Logic; Moto-o Takahashi, A Proof of Cut-Elimination in Simple Type-Theory. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
  28.  2
    Review: Paul Bernays, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):148-149.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  2
    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  
     
    My bibliography  
  30.  2
    Review: Gaisi Takeuti, On a Generalized Logic Calculus. [REVIEW]Kurt Schutte - 1957 - Journal of Symbolic Logic 22 (4):351-352.
  31.  2
    Review: Gerhard Jager, Beweistheorie von KPN. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-879.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  2
    Review: Hiroshi Nagai, Some Aspects of the Philosophy of Science in Japan. [REVIEW]Kurt Schutte - 1957 - Journal of Symbolic Logic 22 (4):353-353.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  2
    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  
     
    My bibliography  
  34.  2
    Review: Wilhelm Ackermann, Der Aufbau Einer Hoheren Logik. [REVIEW]Kurt Schutte - 1975 - Journal of Symbolic Logic 40 (3):458-458.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  2
    Review: Paul Bernays, Probleme der Theoretischen Logik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):147-148.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Review: Paul Lorenzen, Gleichheit und Ungleichheit in der Arithmetik. [REVIEW]Kurt Schutte - 1953 - Journal of Symbolic Logic 18 (3):260-260.
    Translate
     
     
    Export citation  
     
    My bibliography  
  37.  2
    Review: Solomon Feferman, Systems of Predicative Analysis. [REVIEW]Kurt Schutte - 1966 - Journal of Symbolic Logic 31 (4):660-661.
  38.  1
    Review: H. Rasiowa, Algebraic Models of Axiomatic Theories; H. Rasiowa, Constructive Theories. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):285-286.
  39.  1
    Review: W. Buchholz, W. Pohlers, Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):878-879.
  40.  1
    Review: Oskar Becker, Einfuhrung in die Logistik, Vorzuglich in den Modalkalkul. [REVIEW]K. Schutte - 1952 - Journal of Symbolic Logic 17 (1):59-60.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  41.  1
    Review: Paul Lorenzen, Konstruktive Begrundung der Mathematik. [REVIEW]Kurt Schutte - 1953 - Journal of Symbolic Logic 18 (3):260-261.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    Review: Paul Bernays, Vorwort. Abhandlungen zur Philosophie der Mathematik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):147-147.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    Review: Paul Bernays, Bemerkungen zur Philosophie der Mathematik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):151-152.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  1
    Review: Paul Bernays, Zum Symposium Uber Die Grundlagen der Mathematik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):152-153.
  45.  1
    Review: Shoji Maehara, The Predicate Calculus with $Varepsilon$-Symbol. [REVIEW]Kurt Schutte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
  46.  1
    Review: J. Los, A. Mostowski, H. Rasiowa, A Proof of Herbrand's Theorem; J. Los, H. Rasiowa, A. Mostowski, Addition au Travail "A Proof of Herbrand Theorem". [REVIEW]Kurt Schutte - 1971 - Journal of Symbolic Logic 36 (1):168-169.
  47.  1
    Review: W. Pohlers, J. Diller, G. H. Muller, An Upper Bound for the Provability of Transfinite Induction in Systems with N-Times Iterated Inductive Definitions. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):878-878.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  1
    Review: Zyoiti Suetuna, Uber den Begriff der Totalitat in der Mathematik. [REVIEW]Kurt Schutte - 1957 - Journal of Symbolic Logic 22 (4):352-353.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  49.  1
    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  
     
    My bibliography  
  50.  1
    Review: G. H. Muller, Uber die Unendliche Induktion. [REVIEW]K. Schutte - 1975 - Journal of Symbolic Logic 40 (4):627-627.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 138