Some supplements to Feferman-Vaught related to the model theory of adeles

DOI10.1016/j.apal.2014.06.001zbMath1354.03046arXiv1306.1794OpenAlexW2014870832MaRDI QIDQ400416

Jamshid Derakhshan, Angus J. Macintyre

Publication date: 21 August 2014

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

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

zbMATH Keywords

quantifier eliminationadeles of a number fieldFeferman-Vaught theoremshyperringsmodel theory of restricted productsvalued fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10) Abstract model theory (03C95)

Related Items (4)

Some supplements to Feferman-Vaught related to the model theory of adeles ⋮ Decidability of the class of all the rings : A problem of Ax ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Model theory of adeles. I.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some supplements to Feferman-Vaught related to the model theory of adeles
• Valued difference fields and \(\mathrm{NTP}_2\)
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
• Relative elimination of quantifiers for Henselian valued fields
• Constructible motivic functions and motivic integration
• A class of hyperrings and hyperfields
• Substructures and uniform elimination for p-adic fields
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Ultraproducts in the theory of models
• Definable sets, motives and 𝑝-adic integrals
• The first order properties of products of algebraic systems
• Uniform p-adic cell decomposition and local zeta functions.
• Reflecting on incompleteness
• Enrichments of Boolean algebras by Presburger predicates
• The hyperring of adèle classes

This page was built for publication: Some supplements to Feferman-Vaught related to the model theory of adeles