Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
Miklós Erdélyi‐Szabó · Mathematical logic quarterly · 2021
Abstract Based on the paper [4] we show that true second‐order arithmetic is interpretable over the real‐algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras.