A note on definable Skolem functions

DOI10.2307/2274580zbMath0663.03020OpenAlexW1971324392MaRDI QIDQ3813802

Philip Scowcroft

Publication date: 1988

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

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

zbMATH Keywords

definable Skolem functionsreal-closed fieldsp-adic fieldseffective proceduremodel-complete first-order theoryreal-closed ringsuniversal- existential axioms

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12)

Related Items (4)

On minimal flows and definable amenability in some distal NIP theories ⋮ A transfer theorem in constructive \(p\)-adic algebra ⋮ A representation of convex semilinear sets ⋮ On the elimination of imaginaries from certain valued fields

Cites Work

• The rationality of the Poincaré series associated to the p-adic points on a variety
• Real closed rings. II. Model theory
• On the elementary theory of Hensel fields
• Proof theory

This page was built for publication: A note on definable Skolem functions