Project

Reverse Mathematics and Nonstandard Analysis: the actual infinite in the foundations of Mathematics