Su certe teorie non enumerabili
- 1 December 1974
- journal article
- Published by Springer Nature in Annali di Matematica Pura ed Applicata (1923 -)
- Vol. 98 (1) , 119-152
- https://doi.org/10.1007/bf02414017
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Limiting recursionThe Journal of Symbolic Logic, 1965
- Gödel's theorem, Church's theorem, and mechanismSynthese, 1961
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960
- Certain predicates defined by induction schemataThe Journal of Symbolic Logic, 1953
- On axiomatizability within a systemThe Journal of Symbolic Logic, 1953