Undecidability of the Real‐Algebraic Structure of Scott's Model
Miklós Erdélyi‐Szabó · Mathematical logic quarterly · 1998
Abstract We show that true first‐order arithmetic of the positive integers is interpretable over the real‐algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.