Geodesic
Incompleteness along paths in progressions of theories
Matematika, Tome 15 (1971) no. 6, pp. 159-166

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{MAT_1971_15_6_a6,
     author = {S. Feferman and C. Spector},
     title = {Incompleteness along paths in progressions of theories},
     journal = {Matematika},
     pages = {159--166},
     publisher = {mathdoc},
     volume = {15},
     number = {6},
     year = {1971},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/}
}
TY  - JOUR
AU  - S. Feferman
AU  - C. Spector
TI  - Incompleteness along paths in progressions of theories
JO  - Matematika
PY  - 1971
SP  - 159
EP  - 166
VL  - 15
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/
LA  - ru
ID  - MAT_1971_15_6_a6
ER  - 
%0 Journal Article
%A S. Feferman
%A C. Spector
%T Incompleteness along paths in progressions of theories
%J Matematika
%D 1971
%P 159-166
%V 15
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/
%G ru
%F MAT_1971_15_6_a6
S. Feferman; C. Spector. Incompleteness along paths in progressions of theories. Matematika, Tome 15 (1971) no. 6, pp. 159-166. http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/