Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
From MaRDI portal
Publication:4527909
DOI10.2307/2586686zbMath0970.03037MaRDI 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
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