Adding Skolem functions to simple theories

DOI10.1007/S00153-003-0201-3zbMATH Open1058.03034OpenAlexW28558117MaRDI QIDQ701730FDOQ701730

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

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

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)

Cited In (4)

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