Arithmetical Predicates and Function Quantifiers
- 1 July 1955
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 79 (2) , 312-340
- https://doi.org/10.2307/1993033
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 14 references indexed in Scilit:
- Recursive well-orderingsThe Journal of Symbolic Logic, 1955
- Hierarchies of number-theoretic predicatesBulletin of the American Mathematical Society, 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
- Arithmetic with creative definitions by inductionThe Journal of Symbolic Logic, 1953
- On the Forms of the Predicates in the Theory of Constructive OrdinalsAmerican Journal of Mathematics, 1944
- Recursive Predicates and QuantifiersTransactions of the American Mathematical Society, 1943
- Die Definition durch vollständige InduktionMonatshefte für Mathematik, 1939
- Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-VollständigkeitMonatshefte für Mathematik, 1933
- A Set of Postulates for the Foundation of LogicAnnals of Mathematics, 1932