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

DOI10.1002/MALQ.202000048MaRDI QIDQ6047713zbMATH OpenOpenAlexFDO

Authors 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)

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
• scientific article; zbMATH DE number 3313428
• On an interpretation of second order quantification in first order intuitionistic propositional logic

Cites work

• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3438823 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3313428 (Why is no real title available?)
• scientific article; zbMATH DE number 3337652 (Why is no real title available?)
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• A new model for intuitionistic analysis
• Decidability of Scott's model as an ordered ℚ-vectorspace
• Elementary intuitionistic theories
• Intuitionism. An introduction
• 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
• More on real algebra in Scott's model
• The real-algebraic structure of Scott's model of intuitionistic analysis
• Undecidability of the Real-Algebraic Structure of Scott's Model
• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis

Cited in

(8)

• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
• Realization of analysis into Explicit Mathematics
• Groundwork for weak analysis
• Theories of real numbers and interpretability
• On the strength of the interpretation method
• scientific article; zbMATH DE number 5360217 (Why is no real title available?)
• A method of modeling a classical second stage arithmetic
• Second-Order Algebraic Theories

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)