Algebraic theories with definable Skolem functions

From MaRDI portal
Publication:3727972

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



Related Items

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