Definability and decidability in infinite algebraic extensions

DOI10.1016/J.APAL.2014.02.001zbMATH Open1352.12006arXiv1105.2792OpenAlexW2057338786MaRDI QIDQ2349099FDOQ2349099

Authors: Alexandra Shlapentokh, Carlos Videla 

Publication date: 17 June 2015

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

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.

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

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

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)

Cites Work

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

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
• Decidable algebraic fields
• New algebraic invariants for definable subsets in universal algebra

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)