Recursive Predicates and Quantifiers
- 1 January 1943
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 53 (1), 41-73
- https://doi.org/10.2307/1990131
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 12 references indexed in Scilit:
- On the Forms of the Predicates in the Theory of Constructive OrdinalsAmerican Journal of Mathematics, 1944
- The inconsistency of certain formal logicsThe Journal of Symbolic Logic, 1942
- Some aspects of the problem of mathematical rigorBulletin of the American Mathematical Society, 1941
- The constructive second number classBulletin of the American Mathematical Society, 1938
- General recursive functions of natural numbersMathematische Annalen, 1936
- Some Properties of ConversionTransactions of the American Mathematical Society, 1936
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- A note on recursive functionsBulletin of the American Mathematical Society, 1936
- A Theory of Positive Integers in Formal Logic. Part IAmerican Journal of Mathematics, 1935
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931