Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis

DOI10.2307/2586686zbMath0970.03037MaRDI QIDQ4527909

Miklós Erdélyi-Szabó

Publication date: 3 May 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586686

zbMATH Keywords

undecidability; intuitionistic analysis; topological models

Mathematics Subject Classification ID

03D35: Undecidability and degrees of sets of sentences

03F30: First-order arithmetic and fragments

03F35: Second- and higher-order arithmetic and fragments

03F50: Metamathematics of constructive systems

03F55: Intuitionistic mathematics

Related Items

Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis, The creating subject, the Brouwer-Kripke schema, and infinite proofs

Cites Work

• Intuitionism. An introduction
• Unnamed Item