JSYML
2006
13 years 4 months ago
2006
In [Sca99], T. Scanlon proved a quantifier elimination result for valued D-fields in a three-sorted language by using angular component functions. Here we prove an analogous theore...
JSYML
2006
13 years 4 months ago
2006
JSYML
2006
13 years 4 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
JSYML
2006
13 years 4 months ago
2006
Abstract. Let T be a positive L1-L contraction. We prove that the following statements are equivalent in constructive mathematics.
JSYML
2006
13 years 4 months ago
2006
Abstract. We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal...
JSYML
2006
13 years 4 months ago
2006
It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provabl...
JSYML
2006
13 years 4 months ago
2006
Abstract. Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.
JSYML
2006
13 years 4 months ago
2006
JSYML
2006
13 years 4 months ago
2006
The starting point of this article is an old question asked by Feferman in his paper on Hancock's conjecture [6] about the strength of ID
JSYML
2006
13 years 4 months ago
2006
We prove conjugacy and generic disjointness of generous Carter subgroups in groups of finite Morley rank. We elaborate on groups with a generous Carter subgroup and on a minimal c...