Undecidability of the Real-Algebraic Structure of Scott's Model

DOI10.1002/MALQ.19980440305MaRDI QIDQ4210836zbMATH OpenOpenAlexFDO

Authors Miklós Erdélyi-Szabó

Publication date 24 May 1999

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19980440305

zbMATH Keywords

intuitionismordered ringstopological modeltrue first order arithmeticundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Intuitionistic mathematics (03F55)

Recommendations

• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
• The real-algebraic structure of Scott's model of intuitionistic analysis
• Decidability of Scott's model as an ordered ℚ-vectorspace

Cited in

(5)

• The real-algebraic structure of Scott's model of intuitionistic analysis
• More on real algebra in Scott's model
• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
• A new model for intuitionistic analysis

This page was built for publication: Undecidability of the Real-Algebraic Structure of Scott's Model

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