On the number of L_{infty,omega_1}-equivalent non-isomorphic models

We prove that if ZF is consistent then ZFC+GCH is consistent with the following statement: There is for every k<omega a model of cardinality aleph_1 which is L_{infty,omega_1}-equivalent to exactly k non-isomorphic models of cardinality aleph_1. In order to get this result we introduce ladder systems and colourings different from the ``standard'' counterparts, and prove the following purely combinatorial result: For each prime number p and positive integer m it is consistent with ZFC+GCH that there is a ``good'' ladder system having exactly p^m pairwise nonequivalent colourings.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.