On the number of L_{infty,omega_1}-equivalent non-isomorphic models
Logic
2007-05-23 v1
Abstract
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.
Cite
@article{arxiv.math/9908160,
title = {On the number of L_{infty,omega_1}-equivalent non-isomorphic models},
author = {Saharon Shelah and Pauli Vaisanen},
journal= {arXiv preprint arXiv:math/9908160},
year = {2007}
}