Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Recursive predicates and quantifiers


Author: S. C. Kleene
Journal: Trans. Amer. Math. Soc. 53 (1943), 41-73
MSC: Primary 02.0X
DOI: https://doi.org/10.1090/S0002-9947-1943-0007371-8
MathSciNet review: 0007371
Full-text PDF

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1] Alonzo Church An unsolvable problem of elementary number theory, Amer. J. Math. vol. 58 (1936) pp. 345-363. MR 1507159
  • [2] -The constructive second number class, Bull. Amer. Math. Soc. vol. 44 (1938) pp. 224-232. MR 1563715
  • 1. Alonzo Church and S. C. Kleene. 1. Formal definitions in the theory of ordinal numbers, Fund. Math. vol. 28 (1936) pp. 11-21.
  • 2. Alonzo Church and Barkley Rosser 1. Some properties of conversion, Trans. Amer. Math. Soc. vol. 39 (1936) pp. 1. 472-482. MR 1501858
  • [H] Curry 1. Some aspects of the problem of mathematical rigor, Bull. Amer. Math. Soc. vol. 47 (1941) pp. 221-241. MR 0004206 (2:340a)
  • [2] -The inconsistency of certain formal logics, J. Symbolic Logic vol. 7 (1942) pp. 1. 115-117. MR 0007366 (4:125c)
  • 3. Kurt G¨1. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik vol. 38 (1931) pp. 173-198. MR 1549910
  • [2] -On undecidable propositions of formal mathematical systems, notes of lectures at the Institute for Advanced Study, 1934.
  • 4. David Hilbert and Paul Bernays 1. Grundlagen der Mathematik, vol. 2, Berlin, Springer, 1939.
  • 5. Arend Heyting 1. Die formalen Regeln der intuitionistischen Mathematik, Preuss. Akad. Wiss. Sitzungsber, Phys.-math. Kl. 1930, pp. 57-71, 1. 158-169.
  • [S] Cleene 1. A theory of positive integers in formal logic, Amer. J. Math. vol. 57 (1935) pp. 153-173, 219-244. MR 1507063
  • [2] -General recursive functions of natural numbers, Math. Ann. vol. 112 (1936) pp. 727-742. MR 1513071
  • [3] -A note on recursive functions, Bull. Amer. Math. Soc. vol. 42 (1936) pp. 544-546. MR 1563352
  • [4] -On notation for ordinal numbers, J. Symbolic Logic vol. 3 (1938) pp. 150-155.
  • [5] -On the forms of the predicates in the theory of constructive ordinals, to appear in Amer. J. Math. (Bull. Amer. Math. Soc. abstract 48-5-215). MR 0009757 (5:197e)
  • [6] -On the interpretation of intuitionislic number theory, Bull. Amer. Math. Soc. abstract 48-1-85.
  • [S] C. Kleene and Barkley Rosser 1. The inconsistency of certain formal logics, Ann. of Math. (2) vol. 36 (1935) pp. 630-636. MR 1503240
  • 6. David Nelson 1. Recursive functions and intuitionislic number theory, under preparation.
  • [E] L. Post 1. Finite combinatory processes--formulation I, J. Symbolic Logic vol. 1 (1936) pp. 103-105.
  • [W] V. Quine 1. Mathematical logic, New York, Norton, 1940. MR 0002508 (2:65b)
  • [1] Barkley Rosser Extensions of some theorems of Gödel and Church, J. Symbolic Logic vol. 1 (1936) pp. 87-91.
  • [2] -Goödel theorems for non-constructive logics, ibid. vol. 2 (1937) pp. 129-137.
  • [1] Alfred Tarski Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica vol. 1 (1936) pp. 261-405. (Original in Polish, 1933.)
  • [2] -On undecidable statements in enlarged systems of logic and the concept of truth, J. Symbolic Logic vol. 4 (1939) pp. 105-112. MR 0000210 (1:34c)
  • [1] A. M. Turing On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc. (2) vol. 42 (1937) pp. 230-265.
  • [2] -Systems of logic based on ordinals, ibid. vol. 45 (1939) pp. 161-228.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.0X

Retrieve articles in all journals with MSC: 02.0X


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1943-0007371-8
Article copyright: © Copyright 1943 American Mathematical Society

American Mathematical Society