A note on definable Skolem functions

DOI10.2307/2274580zbMATH Open0663.03020OpenAlexW1971324392MaRDI QIDQ3813802FDOQ3813802

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

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

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)

Cites Work

• Proof theory
• 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

Cited In (12)

• Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$
• Adding Skolem functions to simple theories
• Title not available (Why is that?)
• 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
• On definable Skolem functions in weakly o-minimal nonvaluational structures

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)