1 problem

Let $\mathfrak{F}$ be the partially ordered family of relevant subgroups under embeddability, let $\varepsilon_0$ be the ordinal used to index the chain, and extend the chain by se…