Adding Skolem functions to simple theories

DOI10.1007/s00153-003-0201-3zbMath1058.03034OpenAlexW28558117MaRDI QIDQ701730

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) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)

Related Items (3)

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

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