103 search results - page 12 / 21 » jsyml 2006 |
JSYML
2002
13 years 9 months ago
2002
We develop the theory of germs of generic functions in simple theories. Starting with an algebraic quadrangle (or other similar hypotheses), we obtain an "almost" generic...
JSYML
2002
13 years 9 months ago
2002
We study the relationships between definitions of compactness in topological spaces and the roll the axiom of choice plays in these relationships.
JSYML
2002
13 years 9 months ago
2002
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...
JSYML
2002
13 years 9 months ago
2002
Abstract. We extend Morley's Theorem to show that if a theory is -pcategorical for some uncountable cardinal , it is uncountably categorical. We then discuss -p-categoriticy a...
JSYML
1998
13 years 9 months ago
1998
A definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard ...