Hierarchies of number-theoretic predicates
Open Access
- 1 January 1955
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 61 (3), 193-213
- https://doi.org/10.1090/s0002-9904-1955-09896-3
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 21 references indexed in Scilit:
- Arithmetical Predicates and Function QuantifiersTransactions of the American Mathematical Society, 1955
- Recursive well-orderingsThe Journal of Symbolic Logic, 1955
- The Upper Semi-Lattice of Degrees of Recursive UnsolvabilityAnnals of Mathematics, 1954
- A VARIANT TO HILBERT'S THEORY OF THE FOUNDATIONS OF ARITHMETICThe British Journal for the Philosophy of Science, 1953
- On the Interpretation of Non-Finitist Proofs--Part IThe Journal of Symbolic Logic, 1951
- Recursive Predicates and QuantifiersTransactions of the American Mathematical Society, 1943
- The constructive second number classBulletin of the American Mathematical Society, 1938
- Finite combinatory processes—formulationThe Journal of Symbolic Logic, 1936
- Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-VollständigkeitMonatshefte für Mathematik, 1933
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931