Sciweavers

AML
2004

Adding Skolem functions to simple theories

13 years 11 months ago
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
Herwig Nübling
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2004
Where AML
Authors Herwig Nübling
Comments (0)