Adding Skolem functions to simple theories

DOI10.1007/S00153-003-0201-3MaRDI QIDQ701730zbMATH OpenOpenAlexFDO

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
• scientific article; zbMATH DE number 4037825
• Generic variations of models ofT

Cited in

(5)

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

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)