UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916): Difference between revisions

@@ Property / cites work @@
+The Logical Complexity of Finitely Generated Commutative Rings
+Normal rank
@@ Property / cites work @@
+Injectivity, Projectivity, and the Axiom of Choice
+Normal rank
@@ Property / cites work @@
+Q4782270
@@ Property / cites work: Q4782270 / rank @@
+Normal rank
@@ Property / cites work @@
+The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
+Normal rank
@@ Property / cites work @@
+Q3905379
@@ Property / cites work: Q3905379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317713
@@ Property / cites work: Q4317713 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuing horrors of topology without choice
@@ Property / cites work: Continuing horrors of topology without choice / rank @@
+Normal rank
@@ Property / cites work @@
+Six impossible rings
@@ Property / cites work: Six impossible rings / rank @@
+Normal rank
@@ Property / cites work @@
+Krull Implies Zorn
@@ Property / cites work: Krull Implies Zorn / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210469
@@ Property / cites work: Q4210469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884021
@@ Property / cites work: Q3884021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317887
@@ Property / cites work: Q4317887 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability in Number Theory
@@ Property / cites work: Undecidability in Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Describing Groups
@@ Property / cites work: Describing Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602608
@@ Property / cites work: Q3602608 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable existential theories of polynomial rings and function fields
+Normal rank
@@ Property / cites work @@
+Q3588162
@@ Property / cites work: Q3588162 / 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 @@
+Undecidable Rings
@@ Property / cites work: Undecidable Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine definitions for some polynomial rings
@@ Property / cites work: Diophantine definitions for some polynomial rings / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Integers
@@ Property / cites work: Defining Integers / rank @@
+Normal rank
@@ Property / cites work @@
+INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS
+Normal rank