# Publications

Export 4 results:
Filters: Author is Solomon Feferman  [Clear All Filters]
2010
: Unfolding finitist arithmetic. Review of Symbolic Logic. 3, 665-689 (2010).
2000
: The unfolding of non-finitist arithmetic. Annals of Pure and Applied Logic. 104, 75-96 (2000).
1996
: Systems of explicit mathematics with non-constructive $μ$-operator. Part II. Annals of Pure and Applied Logic. 79, 37-52 (1996).
1993
: Systems of explicit mathematics with non-constructive $μ$-operator. Part I. Annals of Pure and Applied Logic. 65, 243-263 (1993).