Decidable fragments of field theories (Q5202171): Difference between revisions

@@ Property / cites work @@
+Definability and decision problems in arithmetic
@@ Property / cites work: Definability and decision problems in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Factoring Polynomials over Algebraic Number Fields
+Normal rank
@@ Property / cites work @@
+Q3872378
@@ Property / cites work: Q3872378 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time
+Normal rank
@@ Property / cites work @@
+The elementary theory of finite fields
@@ Property / cites work: The elementary theory of finite fields / rank @@
+Normal rank
@@ Property / cites work @@
+Provability and Decidability of Arithmetical Universal-Existential Sentences
+Normal rank
@@ Property / cites work @@
+THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
+Normal rank
@@ Property / cites work @@
+Q5588717
@@ Property / cites work: Q5588717 / rank @@
+Normal rank