Feferman, Solomon; Hellman, Geoffrey Challenges to predicative foundations of arithmetic. (English) Zbl 0991.03052 Sher, Gila (ed.) et al., Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 317-338 (2000). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03A05 PDFBibTeX XMLCite \textit{S. Feferman} and \textit{G. Hellman}, in: Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 317--338 (2000; Zbl 0991.03052)
Hellman, Geoffrey Some ins and outs of indispensability: A modal-structural perspective. (English) Zbl 0946.03004 Cantini, Andrea (ed.) et al., Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 280, 25-39 (1999). MSC: 03A05 00A30 03F35 03B45 PDFBibTeX XMLCite \textit{G. Hellman}, Synth. Libr. 280, 25--39 (1999; Zbl 0946.03004)
Hellman, Geoffrey Real analysis without classes. (English) Zbl 0841.03031 Philos. Math., III. Ser. 2, No. 3, 228-250 (1994). Reviewer: R.Murawski (Poznań) MSC: 03F35 00A30 03A05 PDFBibTeX XMLCite \textit{G. Hellman}, Philos. Math., III. Ser. 2, No. 3, 228--250 (1994; Zbl 0841.03031) Full Text: DOI