Algebraic theories with definable Skolem functions

DOI10.2307/2274194zbMath0596.03032OpenAlexW2010971114MaRDI QIDQ3727972

L. P. D. van den Dries

Publication date: 1984

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

Full work available at URL: https://doi.org/10.2307/2274194

zbMATH Keywords

real closed fieldsp-adically closed fieldsdefinitional extension with built-in Skolem functions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Related Items (29)

The field of reals with a predicate for the powers of two ⋮ Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\) ⋮ ON NON-COMPACT p-ADIC DEFINABLE GROUPS ⋮ Computable valued fields ⋮ Definably topological dynamics of \(p\)-adic algebraic groups ⋮ A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS ⋮ ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS ⋮ Groups of dimension two and three over o-minimal structures ⋮ DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS ⋮ A \(p\)-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration ⋮ Definable choice for a class of weakly o-minimal theories ⋮ ACCEPTABLE COLORINGS OF INDEXED HYPERSPACES ⋮ Generalized semi-invariant distributions on \(p\)-adic spaces ⋮ Definability of types and VC density in differential topological fields ⋮ CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS ⋮ One-dimensional asymptotic classes of finite structures ⋮ \(p\)-convexly valued rings ⋮ Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions ⋮ Boolean products of real closed valuation rings and fields ⋮ On the elimination of imaginaries from certain valued fields ⋮ Definable Operations on Sets and Elimination of Imaginaries ⋮ Definable utility in o-minimal structures. ⋮ The rationality of the Poincaré series associated to the p-adic points on a variety ⋮ Strongly determined types ⋮ Lipschitz extensions of definable p‐adic functions ⋮ Properties of \(s\Sigma\)-reducibility ⋮ Rationality of p-adic Poincaré series: Uniformity in p ⋮ On the real exponential field with restricted analytic functions ⋮ Groups definable in local fields and pseudo-finite fields

Cites Work

• Applications of model theory to representations of finite-dimensional algebras

This page was built for publication: Algebraic theories with definable Skolem functions