The Hartogs–Lindenbaum spectrum of symmetric extensions

We expand the classic result that is equivalent to the statement “For all , ” by proving the equivalence of many more related statements. Then, we introduce the Hartogs–Lindenbaum spectrum of a model of , and inspect the structure of these spectra in models that are obtained by a symmetric extension of a model of . We prove that all such spectra fall into a very rigid pattern.