The decision problem for some finite extensions of the intuitionistic theory of abelian groups (Q1217798): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Sufficient conditions for the undecidability of intuitionistic theories with applications
+Normal rank
@@ Property / cites work @@
+The undecidability of intuitionistic theories of algebraically closed fields and real closed fields
+Normal rank
@@ Property / cites work @@
+Undecidability of intuitionistic theories formulated with the apartness relation
+Normal rank
@@ Property / cites work @@
+Decidability of some intuitionistic predicate theories
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682962
@@ Property / cites work: Q5682962 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5182330
@@ Property / cites work: Q5182330 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1217798