JSYML
2002
13 years 4 months ago
2002
JSYML
2002
13 years 4 months ago
2002
JSYML
2002
13 years 4 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 4 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
JSYML
2002
13 years 4 months ago
2002
We investigate the effect of a variant of Matet forcing on ultrafilters in the ground model and give a characterization of those P
JSYML
2002
13 years 4 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 4 months ago
2002
JSYML
2002
13 years 4 months ago
2002
A computably enumerable (c.e.) degree is a maximal contiguous degree if it is contiguous and no c.e. degree strictly above it is contiguous. We show that there are infinitely many ...
JSYML
2002
13 years 4 months ago
2002
: There is an axiomatic treatment of Morley rank in groups, due to Borovik and Poizat. These axioms form the basis of the algebraic treatment of groups of finite Morley rank which ...
JSYML
2002
13 years 4 months ago
2002
