The undecidability of intuitionistic theories of algebraically closed fields and real closed fields

DOI10.2307/2271730zbMath0266.02027OpenAlexW2037593160MaRDI QIDQ5681992

Dov M. Gabbay

Publication date: 1973

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

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

Mathematics Subject Classification ID

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

Related Items (2)

The decision problem for some finite extensions of the intuitionistic theory of abelian groups ⋮ On 2nd order intuitionistic propositional calculus with full comprehension

Cites Work

• Decidability of some intuitionistic predicate theories
• Sufficient conditions for the undecidability of intuitionistic theories with applications

This page was built for publication: The undecidability of intuitionistic theories of algebraically closed fields and real closed fields