70 found
Order:
Disambiguations
Kurt Schütte [84]Kurt[from old catalog] Schütte [1]
  1. 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   9 citations  
  2. 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   6 citations  
  3.  27
    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.
  4.  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  
  5.  1
    Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  6.  17
    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  
  7.  7
    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  
  8.  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.
  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
     
     
    Export citation  
     
    Bookmark   1 citation  
  10. Non-Uniqueness at Ω2 in Kleene'sO.John N. Crossley & Kurt Schütte - 1966 - Archive for Mathematical Logic 9 (3-4):95-101.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966.Kurt Schütte, H. Arnold Schmidt, H. J. Thiele & International Union of the History and Philosophy of Science - 1968 - North-Holland.
     
    Export citation  
     
    Bookmark  
  12.  2
    Gaisi Takeuti. On the Fundamental Conjecture of GLC. VI. Proceedings of the Japan Academy, Vol. 37 , Pp. 440–443.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):147.
  13.  17
    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.
  14.  9
    Hermes Hans. Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. Springer-Verlag, Berlin-Göttingen-Heidelberg 1961, X + 246 pp. [REVIEW]Kurt Schutte - 1966 - Journal of Symbolic Logic 31 (2):254-254.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Lecture Notes in Mathematical Logic.Kurt[from old catalog] Schütte - 1962 - University Park, Dept. Of Mathematics, Pennsylvania State University.
  16.  14
    Lorenzen Paul. Die Widerspruchsfreiheit der klassischen Analysis. Ebd., Bd. 54 Heft 1 , S. 1–24.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):261-262.
  17.  2
    Lorenzen Paul. Gleichheit und Ungleichheit in der Arithmetik. Mathematische Nachrichten, Bd. 1 , S. 337–341.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-260.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  9
    Lorenzen Paul. Konstruktive Begründung der Mathematik. Mathematische Zeitschrift, Bd. 53 Heft 2 , S. 162–202.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-261.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  26
    Maehara Shôji. Equality Axiom on Hubert's Ε-Symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, Vol. 7 , Pp. 419–435. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-110.
  20.  12
    Maehara Shôji. Gentzen's Theorem on an Extended Predicate Calculus. Proceedings of the Japan Academy, Vol. 30 No. 10 , Pp. 923–926. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
  21.  18
    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.
  22.  17
    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  
  23.  22
    Ł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.
  24.  11
    Łoś Jerzy. Quelques Remarques, Théorèmes Et Problèmes Sur les Classes Définissables D'Algèbres. Mathematical Interpretation of Formal Systems, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1955, S. 98–113. [REVIEW]Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (2):168-168.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  10
    Orey Steven. Model Theory for the Higher Order Predicate Calculus. Transactions of the American Mathematical Society, Vol. 92 , Pp. 72–84. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):96-96.
  26.  84
    Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions.Kurt Schutte, W. Buchholz & W. Pohlers - 1983 - Journal of Symbolic Logic 48 (3):878.
  27.  16
    Review: Gerhard Jager, Beweistheorie von KPN. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-879.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  15
    Review: Gaisi Takeuti, An Example on the Fundamental Conjecture of GLC. [REVIEW]Kurt Schutte - 1963 - Journal of Symbolic Logic 28 (2):173-173.
  29.  1
    Review: Gaisi Takeuti, Remark on My Paper: On Skolem's Theorem. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Review: Gaisi Takeuti, On Skolem's Theorem. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
     
    Export citation  
     
    Bookmark  
  31.  6
    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.
  32. Review: Gaisi Takeuti, A Metamathematical Theorem on Functions. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-66.
  33. Review: Gaisi Takeuti, Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
  34. Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
  35. Review: Gaisi Takeuti, Ordinal Diagrams II. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
  36.  8
    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]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-878.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  5
    Review: Gaisi Takeuti, On the Recursive Functions of Ordinal Numbers. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):88-88.
  38. Review: Gaisi Takeuti, Construction of Ramified Real Numbers. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
  39.  2
    Review: Gaisi Takeuti, On a Generalized Logic Calculus. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):351-352.
  40. Review: Gaisi Takeuti, On the Fundamental Conjecture of GLC. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):62-64.
  41.  3
    Review: Gaisi Takeuti, A Metamathematical Theorem on the Theory of Ordinal Numbers. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):62-62.
  42. Review: Gaisi Takeuti, On the Formal Theory of the Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
  43. Review: Gaisi Takeuti, On the Theory of Ordinal Numbers. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
  44.  1
    Rasiowa H.. A Proof of Ε-Theorems. Ebd., Bd. 3 , S. 299–302.Rasiowa H.. On the Ε-Theorems. Fundamenta Mathematicae, Bd. 43 , S. 156–165. , S. 333.). [REVIEW]Kurt Schütte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
  45.  12
    Review: Hiroshi Nagai, Some Aspects of the Philosophy of Science in Japan. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):353-353.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    Review: Hiroshi Nagai, The Concept of Formality in Mathematics. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (3):249-250.
  47. Review: H. Rasiowa, A Proof of $Epsilon$-Theorems; H. Rasiowa, On the $Epsilon$-Theorems. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
  48.  17
    Review: H. Rasiowa, Algebraic Models of Axiomatic Theories; H. Rasiowa, Constructive Theories. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):285-286.
  49. 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  
     
    Bookmark  
  50.  12
    Review: Paul Lorenzen, Konstruktive Begrundung der Mathematik. [REVIEW]Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-261.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 70