A note on definable Skolem functions

DOI10.2307/2274580MaRDI QIDQ3813802zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Algebraic theories with definable Skolem functions
• Adding Skolem functions to simple theories
• On definable Skolem functions in weakly o-minimal nonvaluational structures
• scientific article; zbMATH DE number 1342163
• A \(p\)-minimal structure without definable Skolem functions

Cites work

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

Cited in

(12)

• On definable Skolem functions in weakly o-minimal nonvaluational structures
• Adding Skolem functions to simple theories
• scientific article; zbMATH DE number 31268 (Why is no real title available?)
• Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$
• A Note on Definability and Approximations
• A representation of convex semilinear sets
• On minimal flows and definable amenability in some distal NIP theories
• Algebraic theories with definable Skolem functions
• On the elimination of imaginaries from certain valued fields
• Eliminating definitions and Skolem functions in first-order logic
• A transfer theorem in constructive \(p\)-adic algebra
• Skolem fragments

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3813802)