Incompleteness along paths in progressions of theories (1962)

by S Feferman, C Spector
Venue:J. Symbolic Logic