JSYML
2006
13 years 11 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 11 months ago
2006
JSYML
2006
13 years 11 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
JSYML
2006
13 years 11 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 11 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 11 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 11 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 11 months ago
2006
JSYML
2006
13 years 11 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 11 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...