Feferman Solomon

Publications in Math-Net.Ru

1. Incompleteness along paths in progressions of theories
   
   Matematika, 15:6 (1971),  159–166
2. Classifications of recursive functions by means of hierarchies
   
   Matematika, 15:6 (1971),  137–158
3. Transfinite recursive progressions of axiomatic theories
   
   Matematika, 15:5 (1971),  84–139