×

On the set of ’meaningful’ sentences of arithmetic. (English) Zbl 0404.03043


MSC:

03F30 First-order arithmetic and fragments

Citations:

Zbl 0316.02037
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] S. Feferman,Arithmetization of metamathematics in a general setting,Fundamenta Mathematicae 49 (1960), pp. 35–92. · Zbl 0095.24301
[2] S. Feferman,Transfinite recursive progressions of axiomatic theories,Journal of Symbolic Logic 27 (1962), pp. 259–316. · Zbl 0117.25402 · doi:10.2307/2964649
[3] R. Magari,Significato e verità nell’aritmetica peaniana,Annali di Matematica Pura ed Applicata, (4) 103 (1975), pp. 343–368. · Zbl 0316.02037 · doi:10.1007/BF02414160
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.