Decidability of Scott's model as an ordered ℚ-vectorspace

DOI10.2307/2275579zbMath0892.03003OpenAlexW1997094767MaRDI QIDQ4372914

Miklós Erdélyi-Szabó

Publication date: 17 June 1998

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

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

zbMATH Keywords

decidabilityintuitionistic analysistopological modelsmonadic second-order predicate logicScott's models

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)

Related Items (1)

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

Cites Work

• Unnamed Item
• A new model for intuitionistic analysis
• The real-algebraic structure of Scott's model of intuitionistic analysis
• More on real algebra in Scott's model

This page was built for publication: Decidability of Scott's model as an ordered ℚ-vectorspace