On the number of L_{infty,omega_1}-equivalent non-isomorphic models
| dc.creator | Shelah, Saharon | |
| dc.creator | Vaisanen, Pauli | |
| dc.date | 1999-08-30 | |
| dc.date.accessioned | 2026-07-07T05:30:34Z | |
| dc.date.available | 2026-07-07T05:30:34Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/math/9908160 | |
| dc.identifier | http://arxiv.org/abs/math/9908160 | |
| dc.identifier | Trans. Amer. Math. Soc. 353 No. 5 (2001) 1781--1817 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/79029 | |
| dc.subject | Logic | |
| dc.subject | Primary 03C55; secondary 03C75, 03E05 | |
| dc.title | On the number of L_{infty,omega_1}-equivalent non-isomorphic models | |
| dc.type | text |