Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis

DOI10.1002/MALQ.202000048zbMath1521.03239OpenAlexW3201052650MaRDI QIDQ6047713

Miklós Erdélyi-Szabó

Publication date: 12 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.202000048

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Complexity of computation (including implicit computational complexity) (03D15) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new model for intuitionistic analysis
• Intuitionism. An introduction
• The real-algebraic structure of Scott's model of intuitionistic analysis
• More on real algebra in Scott's model
• Model theory of algebra and arithmetic. Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• Undecidability of the Real-Algebraic Structure of Scott's Model
• Decidability of Scott's model as an ordered ℚ-vectorspace
• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
• Elementary intuitionistic theories

This page was built for publication: Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis