Algebraic theories with definable Skolem functions
From MaRDI portal
Publication:3727972
DOI10.2307/2274194zbMath0596.03032MaRDI QIDQ3727972
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
03C60: Model-theoretic algebra
Related Items
A DEFINABLE -ADIC ANALOGUE OF KIRSZBRAUN’S THEOREM ON EXTENSIONS OF LIPSCHITZ MAPS, DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS, ACCEPTABLE COLORINGS OF INDEXED HYPERSPACES, Lipschitz extensions of definable p‐adic functions, One-dimensional asymptotic classes of finite structures, CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS, Boolean products of real closed valuation rings and fields, Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\), Definable choice for a class of weakly o-minimal theories, Generalized semi-invariant distributions on \(p\)-adic spaces, \(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., Computable valued fields, Definability of types and VC density in differential topological fields, On the elimination of imaginaries from certain valued fields, Properties of \(s\Sigma\)-reducibility, Definable Operations on Sets and Elimination of Imaginaries
Cites Work