Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis (Q4527909)

In an earlier article by the author [Math. Log. Q. 44, 344-348 (1998; Zbl 0913.03014)] it was shown that the ``true'' first-order arithmetic is interpretable in the \(L\)-theory of Scott's topological model for intuitionistic analysis, where \(L\) is the language of ordered rings. This implies that the \(L\)-theory of the model is undecidable. The paper under review extends the above result to a wide class of topological models, including, for instance, the model of \textit{M. D. Krol'} [Z. Math. Logik Grundlagen Math. 24, 427-436 (1978; Zbl 0418.03039)] and the one defined by \textit{P. Scowcroft} in Ann. Pure Appl. Logic 47, 145-165 (1990; Zbl 0714.03051). It is also shown that the ``true'' second-order arithmetic is interpretable in Scott's model.