[FOM] A question concerning continuous functions

[Ayan Mahalanobis]

> > Intuitionistic logic is _required_ for an axiomatization of the truly
> geometric intuition of "continuum" as an indivisible space containing
> infinitesimals. I am referring to synthetic differential geometry.

Is there a constructive model for the axiom set of real numbers in 
sythetic differential geometry. 

--Ayan
-- 
Ayan Mahalanobis                         Fax:1-561-297-2436
Graduate Student,                        Ph :1-561-297-3340  
Department of Mathematics,               email:amah8857 at fau.edu
Florida Atlantic University,             http://www.math.fau.edu
Florida, 33431