1. Foundations of Constructive Mathematics;Beeson,1985
2. A note on a predicatively reducible theory of iterated elementary induction;Cantini;Boll. Un. Math. Ital.,1985
3. Systems of predicative analysis;Feferman;J. Symbolic Logic,1964
4. Autonomous transfinite progressions and the extent of predicative mathematics;Feferman,1968
5. Formal theories for transfinite iteration of generalized inductive definitions and some subsystems of analysis;Feferman,1970