Email Record: Foundational theories of classical and constructive mathematics /