103 search results - page 9 / 21 » jsyml 2006 |
JSYML
2006
13 years 9 months ago
2006
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].
JSYML
2006
13 years 9 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
JSYML
2006
13 years 9 months ago
2006
R FOR TAME ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND MONICA VANDIEREN We prove a categoricity transfer theorem for tame abstract elementary classes.
JSYML
2006
13 years 9 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...
JSYML
2006
13 years 9 months ago
2006
Abstract. We characterise strongly minimal groups interpretable in elementary extensions of compact complex analytic spaces.