Results for 'Rózsa Péter'

920 found
Order:
  1.  7
    Contribution to Recursive Number Theory.Rozsa Peter - 1940 - Journal of Symbolic Logic 5 (2):70-71.
  2.  24
    Teichmüller Oswald. Braucht der Algebraiker das Auswahlaxiom? Deutsche Mathematik, Bd. 4 , S. 567–577.Rózsa Péter - 1941 - Journal of Symbolic Logic 6 (2):65-66.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 , S. 727–742.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-38.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  4.  36
    Zum Beitrag Von F. Schwenkel „Rekursive Wortfunktionen Über Unendlichen Alphabeten”︁.Rózsa Péter - 1965 - Mathematical Logic Quarterly 11 (4):377-378.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  22
    Quine W. V.. Completeness of the propositional calculus.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):118-119.
  6.  41
    Robinson Raphael M.. Arithmetical definability of field elements.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-270.
  7.  45
    Lorenzen P.. Die Definition durch vollständige Induklion. Monatshefte für Mathematik und Physik, Bd. 47 , S. 356–358.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (1):33-34.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  41
    Quine W. V.. On derivabiliiy.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (1):53-53.
  9.  14
    Graphschemata und rekursive Funktionen.Rózsa PÉter - 1958 - Dialectica 12 (3):373.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  52
    Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  22
    Graphschemata und rekursive funktionen.von Rózsa Péter - 1958 - Dialectica 12 (3‐4):373-393.
    ZusammenfassungBei der Programmierung der Rechenautomaten ist es Brauch, den Gedankengang mit Skizzen zu begleiten and dadurch an‐schaulich zu machen. Durch Graphschemata können auch zahlentheore‐tische Funktionen definiert werden. Kaluẑnin stellte die Aufgabe, die derart definierten zahlentheoretischen Funktionen je nach der Kompliziert‐heit der betreffenden Graphschemata in Klassen zu teilen. Es war zuvermuten, dass man auf diese Weise konstruktive Zwischenstufen zwischen den bekannten speziell‐rekursiven Funktionen und den allgemein‐rekursiven Funktionen erhaält. Die vorliegende Arbeit zeigt, dass dieser Weg nicht gangbar ist, da sich jede allgemein‐rekursive (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  23
    Specker Ernst. Nicht konstruktiv beweisbare Sätze der Analysis.Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (1):67-68.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  57
    Kleene S. C.. On notation for ordinal numbers.Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  44
    Robinson Julia. A note on primitive recursive functions. Ebd., S. 667–670.Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
  15.  54
    Robinson Raphael M.. Undecidable—rings. Transactions of the American Mathematical Society, Bd. 70 , S.137–159.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):268-269.
  16.  34
    Ackerman Wilhelm. Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, Bd. 114 , S. 305–315.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (4):167-167.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  28
    Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.
  18.  8
    Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 , S. 101–122. [REVIEW]Rózsa Péter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
  19.  18
    Review: A. Janiczak, Some Remarks on Partially Recursive Functions. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):101-101.
  20.  10
    Zum Begriff der Rekursiven Reellen Zahl.Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (3):216-216.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  43
    Goodstein R. L.. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 , S. 247–261.Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (3):245-246.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  61
    M. D. Gladstone. A reduction of the recursion scheme. The journal of symbolic logic, Bd. 32 , S. 505–508.Rozsa Peter - 1970 - Journal of Symbolic Logic 35 (4):591.
  23.  33
    Pauler Ákos. Logikai alapelv és mathematikai axióma. Athenaeum, Bd. 22 , S. 18–78.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  56
    Tait W. W.. Nested recursion. Mathematische Annalen, Bd. 143 , S. 236–250.Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
  25.  18
    Axt Paul. Enumeration and the Grzegorczyk hierarchy. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 9 , S. 53–65. [REVIEW]Rózsa Péter - 1965 - Journal of Symbolic Logic 30 (1):90-91.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  36
    Curry H. B.. A note on the reduction of Gentzen's calculus LJ. Bulletin of the American Mathematical Society, Bd. 45 , S. 288–293. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (3):128-128.
  27.  25
    Axt Paul. Note on the 3-recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 7 , S. 97–98. [REVIEW]Rozsa Peter - 1964 - Journal of Symbolic Logic 29 (4):199-199.
  28.  35
    Mostowski A.. A lemma concerning recursive functions and its applications. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 1 , S. 277–280. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):299-300.
  29.  44
    Janiczak Antoni. A remark concerning decidability of complete theories. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-147.
  30.  30
    Ackermann Wilhelm. Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen, Bd. 117 , S. 162–194.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-127.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  61
    Kuznécov A. V.. O primitivno rékursivnyh funkciáh bol'šogo razmaha . Doklady Akadémii Nauk SSSR, Bd. 71 , S.233–236.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-271.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  41
    Pospfšil Bedřich. Von den Verteilungen auf Booleschen Ringen. Mathematische Annalen, Bd. 118 , S. 32–40.Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):21-22.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  33.  57
    Smielew W.. Decision problem in group theory. Ebd., Sonderabdruck 1948, S. 373–376.Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (1):63-64.
  34.  44
    Turing A. M.. Computability and λ-definability.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):89-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  30
    Zusammenhang der mehrfachen und transfiniten rekursionen.Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (4):248-272.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  36.  42
    S. C. Kleene. A symmetric form of Gödel's theorem. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 , S. 800–802; auch Indagationes mathematicae, Bd. 12 , S. 244–246. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):147-147.
  37.  32
    Review: Raphael M. Robinson, Primitive Recursive Functions. II. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):375-376.
  38.  9
    Review: W. V. Quine, Completeness of the Propositional Calculus. [REVIEW]Rozsa Peter - 1938 - Journal of Symbolic Logic 3 (3):118-119.
  39.  37
    Schütte Kurt. Eine Bemerkung über quasirekursive Funktionen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 1 Heft 2 , S. 63–64; zugleich Archiv für Philosophie, Bd. 4 Heft 2 , S. 223–224. [REVIEW]Rózsa Péter - 1953 - Journal of Symbolic Logic 18 (1):75-76.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  36
    Skolem Th.. Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie. Monatshefte für Mathematik und Physik, Bd. 48 , S. 268–276. [REVIEW]Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (1):34-35.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  29
    Axt Paul. On a subrecursive hierarchy and primitive recursive degrees. Transactions of the American Mathematical Society, Bd. 92 , S. 85–105. [REVIEW]Rózsa Péter - 1960 - Journal of Symbolic Logic 25 (2):167-168.
  42.  37
    Hasenjaeger Gisbert. Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-146.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  29
    Kalmár László. A Hilbert-féle bizonyításelmélet célkitüzései, módszerei és eredményei . Ungarisch mit deutschem Auszug. Matematikai és fizihai lapok, Bd. 48 , S. 65–119. [REVIEW]Rózsa Péter - 1941 - Journal of Symbolic Logic 6 (3):110-111.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  33
    Kalmár László. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére . Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest 1952, S. 163–190. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):72-72.
  45.  63
    Reviews. Raphael M. Robinson. Primitive recursive functions. Bulletin of the American Mathematical Society, Bd. 53 , S 925–942. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
  46.  49
    Robinson Raphael M.. Arithmetical definitions in the ring of integers. Proceedings of the American Mathematical Society, Bd. 2 , S.279–284. [REVIEW]Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):269-270.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  67
    Rice H. G.. Classes of recursively enumerable sets and their decision problems. Transactions of the American Mathematical Society, vol. 74 pp. 358–366. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (2):121-122.
  48.  44
    (1 other version)Review: Gerhard Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  25
    Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rózsa Péter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  17
    Review: Janos Suranyi, A Logikai Fuggvenykalkulus Eldontes-Problemajanak Redukciojarol (Zur Reduktion des Entscheidungsproblems des Logischen Funktionenkalkuls). [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):22-24.
1 — 50 / 920