Switch to: References

Add citations

You must login to add citations.
  1. Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis.Miklós Erdélyi-Szabó - 2021 - Mathematical Logic Quarterly 67 (3):329-341.
    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.
    Download  
     
    Export citation  
     
    Bookmark