Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
From MaRDI portal
Publication:4527909
DOI10.2307/2586686zbMath0970.03037OpenAlexW2016222224MaRDI QIDQ4527909
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
Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items (2)
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
This page was built for publication: Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
