Feferman, S. Autonomous transfinite progressions and the extent of predicative mathematics. (English) Zbl 0198.32302 Logic, Methodology Philos. Sci. III, Proc. 3rd Int. Congr. Amsterdam 1967, 121-135 (1968). Reviewer: Yu. Sh. Gurevich Cited in 7 Documents MSC: 03-XX Mathematical logic and foundations Keywords:algebraic logic; model theory Citations:Zbl 0177.29302 PDFBibTeX XML