Conclusion
a perspective on future research in fom
pp. 311-314
in: Giovanni Sommaruga (ed), Foundational theories of classical and constructive mathematics, Berlin, Springer, 2011Abstract
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.