Abstract.
We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Casanovas, E.: The number of types in simple theories. Ann. Pure Appl. Logic 98, 69–86 (1999)
Chatzidakis, Z., Pillay, A.: Generic structures and simple theories. Ann. Pure App. Logic 95, 71–92 (1998)
Kim, B., Pillay, A.: Simple theories. Ann. Pure Appl. Logic 88, 149–164 (1997)
Winkler, P.M.: Model-Completeness and Skolem Expansions. Model Theory and Algebra - A Memorial Tribute to Abraham Robinson, D.H. Saracino and V.B. Weispfenning, (eds.), Lecture Notes in Mathematics, 498, Springer-Verlag, 1975, pp. 408–463
Zilber, B.I.: The structure of models of uncountably categorical theories. Proceedings of the International Congress of Mathematicians, Vol. 1,2 (Warsaw, 1983), Warsaw, 1984, pp. 359–368
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): 03C45, 03C50
Rights and permissions
About this article
Cite this article
Nübling, H. Adding Skolem functions to simple theories. Arch. Math. Logic 43, 359–370 (2004). https://doi.org/10.1007/s00153-003-0201-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-003-0201-3