Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q (Q3188274): Difference between revisions

@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields
+Normal rank
@@ Property / cites work @@
+Defining \(\mathbb Z\) in \(\mathbb Q\)
@@ Property / cites work: Defining \(\mathbb Z\) in \(\mathbb Q\) / rank @@
+Normal rank
@@ Property / cites work @@
+Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q
+Normal rank
@@ Property / cites work @@
+Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
+Normal rank
@@ Property / cites work @@
+Characterizing integers among rational numbers with a universal-existential formula
+Normal rank
@@ Property / cites work @@
+Definability and decision problems in arithmetic
@@ Property / cites work: Definability and decision problems in arithmetic / rank @@
+Normal rank