Sciweavers

AML
2004

92views more AML 2004»

Adding Skolem functions to simple theories

13 years 10 months ago

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers