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