A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF (Q6199176): Difference between revisions

@@ Property / DOI @@
-.1017/bsl.2023.37
@@ Property / DOI: 10.1017/bsl.2023.37 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W4387185988
@@ Property / OpenAlex ID: W4387185988 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Nondefinability of rings of integers in most algebraic fields
+Normal rank
@@ Property / cites work @@
+Q3313943
@@ Property / cites work: Q3313943 / rank @@
+Normal rank
@@ Property / cites work @@
+Fields with continuous local elementary properties. II
+Normal rank
@@ Property / cites work @@
+On the space of subgroups of a compact group. I
@@ Property / cites work: On the space of subgroups of a compact group. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317826
@@ Property / cites work: Q4317826 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of the ring of integers in some infinite algebraic extensions of the rationals
+Normal rank
@@ Property / cites work @@
+Counting the closed subgroups of profinite groups
@@ Property / cites work: Counting the closed subgroups of profinite groups / rank @@
+Normal rank
@@ Property / cites work @@
+The absolute Galois group of a pseudo p-adically closed field.
+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 @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530238
@@ Property / cites work: Q4530238 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism and classification for countable structures
+Normal rank
@@ Property / cites work @@
+A universal first-order formula defining the ring of integers in a number field
+Normal rank
@@ Property / cites work @@
+Characterizing integers among rational numbers with a universal-existential formula
+Normal rank
@@ Property / cites work @@
+Q4440910
@@ Property / cites work: Q4440910 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Q3835813
@@ Property / cites work: Q3835813 / 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 @@
+Q5726694
@@ Property / cites work: Q5726694 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and Definability for the Theory of Global Fields
+Normal rank
@@ Property / cites work @@
+First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
+Normal rank
@@ Property / cites work @@
+Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
+Normal rank
@@ Property / DOI @@
+.1017/BSL.2023.37
@@ Property / DOI: 10.1017/BSL.2023.37 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6199176