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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2274469
@@ Property / full work available at URL: https://doi.org/10.2307/2274469 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2132325084
@@ Property / OpenAlex ID: W2132325084 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5202171