72 found
Sort by:
See also:
Profile: Karl Schutte
  1. Kurt Schütte (1997). Feferman Solomon. Systems of Predicative Analysis. Journal of Symbolic Logic 31 (4):660-661.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. 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).
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Kurt Schütte (1988). Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger. 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)  
     
    My bibliography  
     
    Export citation  
  4. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  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.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Kurt Schutte (1983). Review: Gerhard Jager, Beweistheorie von KPN. [REVIEW] Journal of Symbolic Logic 48 (3):879-879.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Kurt Schutte (1983). Review: Gaisi Takeuti, Mariko Yasugi, The Ordinals of the Systems of Second Order Arithmetic with the Provably $Triangle^12$-Comprehension Axiom and with the $Triangle^12$- Comprehension Axiom Respectively. [REVIEW] Journal of Symbolic Logic 48 (3):877-878.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. 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)  
     
    My bibliography  
     
    Export citation  
  9. 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)  
     
    My bibliography  
     
    Export citation  
  10. 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)  
     
    My bibliography  
     
    Export citation  
  11. 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)  
     
    My bibliography  
     
    Export citation  
  12. K. Schutte (1978). Review: Paul Bernays, Vorwort. Abhandlungen zur Philosophie der Mathematik. [REVIEW] Journal of Symbolic Logic 43 (1):147-147.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. K. Schutte (1978). Review: Paul Bernays, Betrachtungen zum Paradoxon von Thoralf Skolem. [REVIEW] Journal of Symbolic Logic 43 (1):150-150.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. K. Schutte (1978). Review: Paul Bernays, Die Mannigfaltigkeit der Direktiven fur die Gestaltung Geometrischer Axiomensysteme. [REVIEW] Journal of Symbolic Logic 43 (1):150-151.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. K. Schutte (1978). Review: Paul Bernays, Zur Rolle der Sprache in Erkenntnistheoretischer Hinsicht. [REVIEW] Journal of Symbolic Logic 43 (1):151-151.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. K. Schutte (1978). Review: Paul Bernays, Mathematische Existenz und Widerspruchfreiheit. [REVIEW] Journal of Symbolic Logic 43 (1):150-150.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. K. Schutte (1978). Review: Paul Bernays, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. [REVIEW] Journal of Symbolic Logic 43 (1):148-149.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. K. Schutte (1978). Review: Paul Bernays, Bemerkungen zur Philosophie der Mathematik. [REVIEW] Journal of Symbolic Logic 43 (1):151-152.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. K. Schutte (1978). Review: Paul Bernays, Zum Symposium Uber Die Grundlagen der Mathematik. [REVIEW] Journal of Symbolic Logic 43 (1):152-153.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. 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)  
     
    My bibliography  
     
    Export citation  
  22. K. Schutte (1978). Review: Paul Bernays, Probleme der Theoretischen Logik. [REVIEW] Journal of Symbolic Logic 43 (1):147-148.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. 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)  
     
    My bibliography  
     
    Export citation  
  24. K. Schutte (1978). Review: Paul Bernays, Thesen und Bemerkungen zu den Philosophischen Fragen und zur Situation der Logisch-Mathematischen Grundlagenforschung. [REVIEW] Journal of Symbolic Logic 43 (1):149-150.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. K. Schütte (1977). Proof Theory. Springer-Verlag.
     
    My bibliography  
     
    Export citation  
  26. K. Schutte (1975). Review: G. H. Muller, Uber die Unendliche Induktion. [REVIEW] Journal of Symbolic Logic 40 (4):627-627.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  27. K. Schütte, Justus Diller & G. H. Müller (eds.) (1975). 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. Springer-Verlag.
     
    My bibliography  
     
    Export citation  
  28. Kurt Schutte (1975). Review: Wilhelm Ackermann, Der Aufbau Einer Hoheren Logik. [REVIEW] Journal of Symbolic Logic 40 (3):458-458.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. K. Schutte (1973). Review: W. W. Tait, The Substitution Method. [REVIEW] Journal of Symbolic Logic 38 (4):660-660.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. K. Schutte (1972). Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen. [REVIEW] Journal of Symbolic Logic 37 (4):752-753.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. 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)  
     
    My bibliography  
     
    Export citation  
  33. H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) (1968). Contributions to Mathematical Logic. Amsterdam, North-Holland.
    No categories
     
    My bibliography  
     
    Export citation  
  34. Kurt Schutte (1968). Review: H. Rasiowa, A Proof of $Epsilon$-Theorems; H. Rasiowa, On the $Epsilon$-Theorems. [REVIEW] Journal of Symbolic Logic 33 (2):286-286.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  36. 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  37. 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)  
     
    My bibliography  
     
    Export citation  
  38. K. Schutte (1967). Review: Takakazu Simauti, A Note on the Construction of Ordinal Numbers. [REVIEW] Journal of Symbolic Logic 32 (3):396-396.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. Kurt Schutte (1966). Review: Solomon Feferman, Systems of Predicative Analysis. [REVIEW] Journal of Symbolic Logic 31 (4):660-661.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Kurt Schutte (1965). Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik. [REVIEW] Journal of Symbolic Logic 30 (3):355-356.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  42. Kurt Schutte (1964). Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW] Journal of Symbolic Logic 29 (3):147-147.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Kurt Schutte (1964). Review: Gaisi Takeuti, Ordinal Diagrams II. [REVIEW] Journal of Symbolic Logic 29 (3):146-147.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Kurt Schutte (1963). Review: Gaisi Takeuti, An Example on the Fundamental Conjecture of GLC. [REVIEW] Journal of Symbolic Logic 28 (2):173-173.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Kurt Schutte (1963). Review: Hiroshi Nagai, The Concept of Formality in Mathematics. [REVIEW] Journal of Symbolic Logic 28 (3):249-250.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Kurt Schutte (1962). Review: Gaisi Takeuti, On the Recursive Functions of Ordinal Numbers. [REVIEW] Journal of Symbolic Logic 27 (1):88-88.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. 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)  
     
    My bibliography  
     
    Export citation  
  48. Kurt Schutte (1962). Review: Shoji Maehara, Gentzen's Theorem on an Extended Predicate Calculus. [REVIEW] Journal of Symbolic Logic 27 (1):109-109.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. Kurt Schutte (1962). Review: Shoji Maehara, Equality Axiom on Hilbert's $Varepsilon$-Symbol. [REVIEW] Journal of Symbolic Logic 27 (1):109-110.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Kurt Schutte (1962). Review: Steven Orey, Model Theory for the Higher Order Predicate Calculus. [REVIEW] Journal of Symbolic Logic 27 (1):96-96.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 72