A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF

DOI10.1017/bsl.2023.37arXiv2010.09551OpenAlexW4387185988MaRDI QIDQ6199176

Russell G. Miller, Caleb Springer, Kirsten Eisenträger, Linda Brown Westrick

Publication date: 23 February 2024

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2010.09551

zbMATH Keywords

algebraic integersdefinabilityHilbert's tenth problemHilbert irreducibility theoremalgebraic fields

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Interpolation, preservation, definability (03C40) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the space of subgroups of a compact group. I
• The decision problem for exponential diophantine equations
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Fields with continuous local elementary properties. II
• Nondefinability of rings of integers in most algebraic fields
• A universal first-order formula defining the ring of integers in a number field
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• The Undecidability of Algebraic Rings and Fields
• Counting the closed subgroups of profinite groups
• Characterizing integers among rational numbers with a universal-existential formula
• The absolute Galois group of a pseudo p-adically closed field.
• Undecidability and Definability for the Theory of Global Fields
• Isomorphism and classification for countable structures
• Computable Algebra, General Theory and Theory of Computable Fields
• Definability and decision problems in arithmetic
• Defining \(\mathbb Z\) in \(\mathbb Q\)

This page was built for publication: A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF