116 found
Order:
Disambiguations
Kurt Schütte [84]K. Schütte [45]Kurt[from old catalog] Schütte [1]K. H. Schütte [1]
See also
  1.  33
    The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   48 citations  
  2. 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  
  3.  13
    Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  4.  22
    Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  5. 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   5 citations  
  6.  8
    Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  7.  26
    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.
  8.  19
    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  
     
    Bookmark   4 citations  
  9.  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  
  10.  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  
  11.  13
    Aussagenlogische Grundeigenschaften Formaler Systeme.K. SchÜtte - 1958 - Dialectica 12 (3):422.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  12.  8
    Mathematische Existenz und Widerspruchfreiheit.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  13.  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  
  14.  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.
  15.  51
    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.
  16.  12
    Betrachtungen zum Paradoxon von Thoralf Skolem.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17.  7
    Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen.J. Diller, H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  6
    Some Forms of Models of Propositional Calculi.R. Harrop, H. Arnold Schmidt, K. Schutte & Ronald Harrop - 1975 - Journal of Symbolic Logic 40 (2):251-251.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Einführung in Die Logistik, Vorzüglich in den Modalkalkül.K. Schütte - 1952 - Journal of Symbolic Logic 17 (1):59-60.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. 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  
  21. 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  
  22.  7
    An Anatomical Study of Copper Deficient Wheat.K. H. Schütte & M. Mathews - 1969 - Transactions of the Royal Society of South Africa 38 (2):183-200.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  4
    Becker Oskar. Einführung in die Logistik, vorzüglich in den Modalkalkül. Westkulturverlag Anton Hain, Meisenheim am Glan 1951, 92 S. [REVIEW]K. Schütte - 1952 - Journal of Symbolic Logic 17 (1):59-60.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Contributions to Mathematical Logic.H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) - 1968 - Amsterdam: North-Holland.
  25. 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  
  26.  38
    Dag Prawitz. Hauptsatz for Higher Order Logic. The Journal of Symbolic Logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for Second Order Logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A Proof of Cut-Elimination in Simple Type-Theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
  27.  3
    Die Schematische Korrespondenz und die Idealisierten Strukturen.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):152.
  28. Eine Bemerkung über quasirekursioe Funktionen.K. Schütte - 1951 - Archive for Mathematical Logic 1 (2):63.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  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.
  30.  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.
  31.  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  
  32. 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.K. Schütte, Justus Diller & G. H. Müller (eds.) - 1975 - Springer Verlag.
     
    Export citation  
     
    Bookmark  
  33. Lecture Notes in Mathematical Logic.Kurt[from old catalog] Schütte - 1962 - University Park, Dept. Of Mathematics, Pennsylvania State University.
  34.  4
    Lorenzen Paul. Über das Prinzip “ex falso quodlibet.” Methodos, Bd. 3 , S. 43–46.K. Schütte - 1954 - Journal of Symbolic Logic 19 (4):298-298.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  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.
  36.  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  
  37.  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  
  38.  35
    M. E. Szabo. Biographical Sketch. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. Vii–Viii. - M. E. Szabo. Introduction. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. 1–28. - Gerhard Gentzen. On the Existence of Independent Axiom Systems for Infinite Sentence Systems. Englische Übersetzung von 4427. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. 29–52. - Gerhard Gentzen. On the Relation Between Intuitionist and Classical Arithmetic. Englische Übersetzung des Über Das Verhältnis Zwischen Intuitionistischer Und Klassischer Arithmetik . The Collected Papers of Gerhard Gentz. [REVIEW]K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
  39.  14
    Müller G. H.. Über Die Unendliche Induktion. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, Pp. 75–95. [REVIEW]K. Schütte - 1975 - Journal of Symbolic Logic 40 (4):627-627.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  25
    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.
  41.  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.
  42. 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  
  43.  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.
  44.  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  
  45.  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.
  46.  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  
  47.  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.
  48.  14
    Paul Bernays. Probleme der theoretischen Logik. Neudruck von 2877. Ebd., S. 1–16.K. Schütte - 1978 - Journal of Symbolic Logic 43 (1):147-153.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  42
    Paul Bernays. Vorwort. Abhandlungen zur Philosophie der Mathematik, von Paul Bernays, Wissenschaftliche Buchgesellschaft, Darmstadt1976, S. VII–X. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):147.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  10
    Prawitz Dag. Hauptsatz for Higher Order Logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.
1 — 50 / 116