Sciweavers

98
Voted
AML
2004
92views more  AML 2004»
15 years 6 days 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
DM
2006
60views more  DM 2006»
15 years 11 days ago
On cycles through specified vertices
For a set X of vertices of a graph fulfilling local connectedness conditions the existence of a cycle containing X is proved. AMS classification: 05C38, 05C45, 05C35
Tobias Gerlach, Frank Göring, Jochen Harant, ...