Algebraic theories with definable Skolem functions

DOI10.2307/2274194zbMath0596.03032MaRDI 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 fields; p-adically closed fields; definitional extension with built-in Skolem functions

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

Related Items

One-dimensional asymptotic classes of finite structures, Boolean products of real closed valuation rings and fields, \(p\)-convexly valued rings, The rationality of the Poincaré series associated to the p-adic points on a variety, Rationality of p-adic Poincaré series: Uniformity in p, Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions, The field of reals with a predicate for the powers of two, Groups of dimension two and three over o-minimal structures, Strongly determined types, On the real exponential field with restricted analytic functions, Groups definable in local fields and pseudo-finite fields, Definable utility in o-minimal structures., On the elimination of imaginaries from certain valued fields, Definable Operations on Sets and Elimination of Imaginaries

Cites Work

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