Adding Skolem functions to simple theories

DOI10.1007/S00153-003-0201-3MaRDI QIDQ701730zbMATHOpenAlexFDO

Authors Herwig Nübling

Publication date 16 December 2004

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-003-0201-3

zbMATH Keywords

categoricitysimple theorySkolem functionalgebraically bounded theorymodel completion

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Algebraic theories with definable Skolem functions
• A note on definable Skolem functions
• Generic structures and simple theories
• Publication:3777996
• Generic variations of models ofT

Cited in

(4)

• Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
• A note on definable Skolem functions
• Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields
• Companionability characterization for the expansion of an o-minimal theory by a dense subgroup

This page was built for publication: Adding Skolem functions to simple theories

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