The decision problem for some finite extensions of the intuitionistic theory of abelian groups
From MaRDI portal
Publication:1217798
DOI10.1007/BF02314424zbMath0306.02027MaRDI QIDQ1217798
Publication date: 1975
Published in: Studia Logica (Search for Journal in Brave)
Decidability of theories and sets of sentences (03B25) Intuitionistic mathematics (03F55) Abelian groups (20K99)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Undecidability of intuitionistic theories formulated with the apartness relation
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Aspects of topoi
- Decidability of some intuitionistic predicate theories
- Sufficient conditions for the undecidability of intuitionistic theories with applications
- The undecidability of intuitionistic theories of algebraically closed fields and real closed fields
This page was built for publication: The decision problem for some finite extensions of the intuitionistic theory of abelian groups