Abstract

Shelah develops the theory of \\) without the assumption that \\), going so far as to get generators for every \\) 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 \\) which is more in line with the modern exposition. Finally, we discuss some obstacles to further generalizing the classical theory.