Three problems concerning ideals of differentiable functions (Q1113994)

The validity of certain internal statements in the models of Synthetic Differential Geometry is reduced to that of the corresponding properties concerning ideals of differentiable functions, as long as the models under consideration involve these ideals. In this vein, the paper examines and finds to be true the following two elementary statements (i) ``the integral of f is non-negative if f is so'' and (ii) ``if f vanishes in both the sets of non-negative and of non-positive reals, then \(f=0''\) in the Dubuc topos and in two other smooth topoi considered. On the other hand, it answers in the negative a question raised by \textit{I. Moerdijk}, \textit{Ngo Van Quê} and \textit{G. E. Reyes} [Fundam. Math. 128, 145-158 (1987; Zbl 0628.51011)], i.e., that in the sites of definition of the topoi in question the arrow \(t^ n\) from the line to itself is not a stable effective epic for \(n>2\), in contrast to the known case of \(n=2\).