80 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 (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  5
    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. 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.  8
    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  
  6.  8
    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.
  7. 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   3 citations  
  8. 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  
  9.  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  
  10.  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  
  11.  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  
  12. H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) (1968). Contributions to Mathematical Logic. Amsterdam, North-Holland.
     
    Export citation  
     
    My bibliography   1 citation  
  13. K. SchÜtte (1958). Aussagenlogische Grundeigenschaften Formaler Systeme. Dialectica 12 (3):422.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  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  
  15.  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  
  16.  3
    Kurt Schutte (1963). Review: Gaisi Takeuti, An Example on the Fundamental Conjecture of GLC. [REVIEW] Journal of Symbolic Logic 28 (2):173-173.
  17.  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  
  18. 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  
  19. 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  
  20. 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  
  21.  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  
  22. 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  
  23.  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  
  24.  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 (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  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  
  26.  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  
  27.  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  
  28.  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  
  29.  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  
  30.  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  
  31.  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  
  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. 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  
  34.  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  
  35. 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  
  36.  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  
  37.  1
    Kurt Schutte (1953). Review: Paul Lorenzen, Gleichheit und Ungleichheit in der Arithmetik. [REVIEW] Journal of Symbolic Logic 18 (3):260-260.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Kurt Schutte (1964). Review: Gaisi Takeuti, Ordinal Diagrams II. [REVIEW] Journal of Symbolic Logic 29 (3):146-147.
     
    Export citation  
     
    My bibliography  
  39.  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  
  40.  1
    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.
  41.  1
    K. Schutte (1978). Review: Paul Bernays, Zum Symposium Uber Die Grundlagen der Mathematik. [REVIEW] Journal of Symbolic Logic 43 (1):152-153.
  42.  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  
  43.  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  
  44.  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  
  45.  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  
  46.  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  
  47.  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  
  48.  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  
  49.  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  
  50. J. Diller, H. Arnold Schmidt & K. Schutte (1975). Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. Journal of Symbolic Logic 40 (3):453-454.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 80