Adding Skolem functions to simple theories

We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory. AMS classification: 03C45 , 03C50

• Type: Journal
• Year: 2004
• Where: AML
• Authors: Herwig Nübling
• Keywords: AML 2004, AMS Classification, Simplicity, Skolem Function