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

DOI10.1002/MALQ.202000048zbMATH Open1521.03239OpenAlexW3201052650MaRDI QIDQ6047713FDOQ6047713

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

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

Cites Work

• Intuitionism. An introduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary intuitionistic theories
• The real-algebraic structure of Scott's model of intuitionistic analysis
• More on real algebra in Scott's model
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• Undecidability of the Real-Algebraic Structure of Scott's Model
• Title not available (Why is that?)
• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
• A new model for intuitionistic analysis
• 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
• Decidability of Scott's model as an ordered ℚ-vectorspace

Cited In (6)

• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
• Realization of analysis into Explicit Mathematics
• Groundwork for weak analysis
• Title not available (Why is that?)
• A method of modeling a classical second stage arithmetic
• Second-Order Algebraic Theories

   Recommendations

• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis 👍 👎
• Some elementary results in intuitionistic model theory 👍 👎
• Realization of analysis into Explicit Mathematics 👍 👎
• Title not available (Why is that?) 👍 👎
• On an interpretation of second order quantification in first order intuitionistic propositional logic 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6047713)