Definability and decidability in infinite algebraic extensions

DOI10.1016/J.APAL.2014.02.001MaRDI QIDQ2349099zbMATH OpenOpenAlexFDO

Authors Alexandra Shlapentokh, Carlos Videla

Publication date 17 June 2015

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

first-order definabilityinfinite algebraic extensions

Mathematics Subject Classification ID

Other model constructions (03C30) Model-theoretic algebra (03C60) Decidability and field theory (12L05) Model theory of fields (12L12)

Abstract: We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $$ there exist infinitely many fields $K$ of arbitrary positive transcendence degree over $F$ and of infinite algebraic degree such that each $A_i$ is first-order definable over $K$. We also use the construction to show that many infinitely axiomatizable theories of fields which are not compatible with the theory of algebraically closed fields are finitely hereditarily undecidable.

Recommendations

• Decidable algebraic fields
• Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• Uniform first-order definitions in finitely generated fields

Cites work

• scientific article; zbMATH DE number 4152550 (Why is no real title available?)
• scientific article; zbMATH DE number 3715696 (Why is no real title available?)
• scientific article; zbMATH DE number 3539209 (Why is no real title available?)
• scientific article; zbMATH DE number 545277 (Why is no real title available?)
• scientific article; zbMATH DE number 705075 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3070524 (Why is no real title available?)
• Arithmetic over the rings of all algebraic integers.
• Characterizing integers among rational numbers with a universal-existential formula
• Definability and decision problems in arithmetic
• Definability of the ring of integers in pro-p Galois extensions of number fields
• Einige unentscheidbare Körpertheorien
• Elimination theory for the ring of algebraic integers.
• Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
• First-order characterization of function field invariants over large fields
• Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields
• Hilbert's tenth problem. Diophantine classes and extensions to global fields
• Hilbert’s Tenth Problem: Relations with Arithmetic and Algebraic Geometry
• Model Theory
• On the constructible numbers
• Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings
• Skolem density problems over large Galois extensions of global fields. Appendix by Wulf-Dieter Geyer
• The Undecidability of Algebraic Rings and Fields
• The undecidability of cyclotomic towers
• Undecidability and Definability for the Theory of Global Fields
• Undecidable Rings

Cited in

(7)

• A remark on $\mathscr C^\infty $ definable equivalence
• Finite undecidability in PAC and PRC fields
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Quantifier Free Definability on Infinite Algebras
• New algebraic invariants for definable subsets in universal algebra
• Decidable algebraic fields

This page was built for publication: Definability and decidability in infinite algebraic extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2349099)