Representability in some systems of second order arithmetic
- 1 December 1970
- journal article
- Published by Springer Nature in Israel Journal of Mathematics
- Vol. 8 (4) , 309-328
- https://doi.org/10.1007/bf02798678
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Hierarchies of effective descriptive set theoryTransactions of the American Mathematical Society, 1969
- An infinitistic rule of proofThe Journal of Symbolic Logic, 1968
- Hyperanalytic predicatesTransactions of the American Mathematical Society, 1967
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958