70
Voted
JSYML
2006
15 years 18 days 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...
54
Voted
JSYML
2006
15 years 18 days ago
2006
78
Voted
JSYML
2006
15 years 18 days ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
58
Voted
JSYML
2006
15 years 18 days ago
2006
Abstract. Let T be a positive L1-L contraction. We prove that the following statements are equivalent in constructive mathematics.
61
Voted
JSYML
2006
15 years 18 days 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...
101
Voted
JSYML
2006
15 years 18 days 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...
44
Voted
JSYML
2006
15 years 18 days 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.
62
Voted
JSYML
2006
15 years 18 days ago
2006
JSYML
2006
15 years 18 days 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
81
Voted
JSYML
2006
15 years 18 days 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...