|
Incompleteness along paths in progressions of theories
S. Feferman, C. Spector
Citation:
S. Feferman, C. Spector, “Incompleteness along paths in progressions of theories”, Matematika, 15:6 (1971), 159–166; J. Symbolic Logic, 27 (1962), 383–390
Linking options:
https://www.mathnet.ru/eng/mat627 https://www.mathnet.ru/eng/mat/v15/i6/p159
|
| Statistics & downloads: |
| Abstract page: | 180 | | Full-text PDF : | 99 | | References: | 2 |
|