Definability and decidability in infinite algebraic extensions (Q2349099): Difference between revisions

@@ Property / OpenAlex ID @@
+W2057338786
@@ Property / OpenAlex ID: W2057338786 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2792
@@ Property / arXiv ID: 1105.2792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5810622
@@ Property / cites work: Q5810622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4115143
@@ Property / cites work: Q4115143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905379
@@ Property / cites work: Q3905379 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert’s Tenth Problem: Relations with Arithmetic and Algebraic Geometry
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields
+Normal rank
@@ Property / cites work @@
+Q4317826
@@ Property / cites work: Q4317826 / rank @@
+Normal rank
@@ Property / cites work @@
+Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings
+Normal rank
@@ Property / cites work @@
+Q2715536
@@ Property / cites work: Q2715536 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4286756
@@ Property / cites work: Q4286756 / rank @@
+Normal rank
@@ Property / cites work @@
+Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real and<i>p</i>-adic fields
+Normal rank
@@ Property / cites work @@
+Characterizing integers among rational numbers with a universal-existential formula
+Normal rank
@@ Property / cites work @@
+Q3602610
@@ Property / cites work: Q3602610 / 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 @@
+The Undecidability of Algebraic Rings and Fields
@@ Property / cites work: The Undecidability of Algebraic Rings and Fields / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable Rings
@@ Property / cites work: Undecidable Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and Definability for the Theory of Global Fields
+Normal rank
@@ Property / cites work @@
+Arithmetic over the rings of all algebraic integers.
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3423328
@@ Property / cites work: Q3423328 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination theory for the ring of algebraic integers.
+Normal rank
@@ Property / cites work @@
+Q3481833
@@ Property / cites work: Q3481833 / rank @@
+Normal rank
@@ Property / cites work @@
+On the constructible numbers
@@ Property / cites work: On the constructible numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
+Normal rank
@@ Property / cites work @@
+The undecidability of cyclotomic towers
@@ Property / cites work: The undecidability of cyclotomic towers / rank @@
+Normal rank
@@ Property / cites work @@
+Einige unentscheidbare Körpertheorien
@@ Property / cites work: Einige unentscheidbare Körpertheorien / rank @@
+Normal rank