Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace

DOI10.1002/MALQ.19970430307zbMath0876.03007OpenAlexW2034378944MaRDI QIDQ4351924

Miklós Erdélyi-Szabó

Publication date: 30 October 1997

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

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

zbMATH Keywords

constructive mathematicsdecidabilityTarski's theoremlawless sequencesvector spaces over Q

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace