The condition in the Trichotomy Theorem is optimal
英文摘要：
We show that the assumption lambda > kappa^+ in the Trichotomy Theorem cannot be relaxed to lambda > kappa .
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Generalizing Hartogs' Trichotomy Theorem
A celebrated argument of F. Hartogs (1915) deduces the Axiom of Choice from the hypothesis of comparability for any pair of cardinals. We show how each of a sequence of seemingly much weaker hypotheses suffices. Fixing a finite number $k>1$, the Axiom of Choice follows if merely any family of $k$ cardinals contains at least one comparable pair.
math.LO
An Extension of Shelah's Trichotomy Theorem
In Sh506, Shelah develops the theory of $\mathrm{pcf}_I(A)$ without the assumption that $|A|<\min (A)$, going so far as to get generators for every $λ\in\mathrm{pcf}_I(A)$ under some assumptions on $I$. Our main theorem is that we can also generalize Shelah's trichotomy theorem to the same setting. Using this, we present a different proof of the existence of generators for $\mathrm{pcf}_I(A)$ which is more in line with the modern exposition. Finally, we discuss some obstacles to further generalizing the classical theory.
math.LO
A New Trichotomy Theorem
We show that a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank has normal 2-rank at most two, which is a tameness free version of Borovik's original trichotomy theorem. This result serves as a bridge by showing that there are no groups found strictly between the generic and quasithin cases, i.e. between groups of Lie rank at least three, and groups of Lie rank one and two. Again this result depends upon previous work for the uniqueness case analysis.
math.GRmath.LO
A signalizer functor theorem for groups of finite Morley rank
There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. One of the major theorems in the area is Borovik's trichotomy theorem. The "trichotomy" here is a case division of the minimal counterexamples within odd type, i.e. groups with a divisibble connected component of the Sylow 2-subgroup. We introduce a charateristic zero notion of unipotence which can be used to obtain a connected nilpotent signalizer functor from any sufficiently non-trivial solvable signalizer functor. This result plugs seamlessl…
math.GRmath.LO
Karp height of models of stable theories
A trichotomy theorem for countable, stable, unsuperstable theories is offered. We develop the notion of a `regular ideal' of formulas and study types that are minimal with respect to such an ideal.
math.LO
