Defining the integers in large rings of a number field using one universal quantifier (Q843611): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2126495200
@@ Property / OpenAlex ID: W2126495200 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3075
@@ Property / arXiv ID: 0708.3075 / rank @@
+Normal rank
@@ Property / cites work @@
+Elliptic divisibility sequences and undecidable problems about rational points
+Normal rank
@@ Property / cites work @@
+Q5612629
@@ Property / cites work: Q5612629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022705
@@ Property / cites work: Q4022705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737473
@@ Property / cites work: Q4737473 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
+Normal rank
@@ Property / cites work @@
+The set of nonsquares in a number field is diophantine
+Normal rank
@@ Property / cites work @@
+Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
+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 @@
+The Undecidability of Algebraic Rings and Fields
@@ Property / cites work: The Undecidability of Algebraic Rings and Fields / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine definability and decidability in extensions of degree 2 of totally real fields
+Normal rank
@@ Property / cites work @@
+Elliptic curves retaining their rank   in finite extensions  and Hilbert's Tenth Problem  for rings of algebraic numbers
+Normal rank
@@ Property / cites work @@
+Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
+Normal rank
@@ Property / cites work @@
+Defining integrality at prime sets of high density in number fields.
+Normal rank
@@ Property / cites work @@
+Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
+Normal rank
@@ Property / cites work @@
+Q3423328
@@ Property / cites work: Q3423328 / rank @@
+Normal rank
@@ Property / cites work @@
+On maps with dense orbits and the definition of chaos
+Normal rank