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

DOI10.1002/MALQ.19980440305zbMath0913.03014OpenAlexW1963890291MaRDI QIDQ4210836

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

undecidabilityintuitionismordered ringstopological modeltrue first order arithmetic

Mathematics Subject Classification ID

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

Related Items (1)

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

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