Repository | Book | Chapter
(2011) Foundational theories of classical and constructive mathematics, Dordrecht, Springer.
This book has presented a partial account of the history of studies in FOM, as well as a (by no means complete) survey of contemporary studies in FOM. It is natural now to ask what future studies in FOM ought or might look like. Here is a sketch of a research agenda in foundational studies.
Publication details
DOI: 10.1007/978-94-007-0431-2_15
Full citation:
Sommaruga, G. , Bell, J. L. (2011)., Conclusion: a perspective on future research in fom, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 311-314.
This document is unfortunately not available for download at the moment.