{ "id": "1508.06620", "version": "v1", "published": "2015-08-26T19:33:37.000Z", "updated": "2015-08-26T19:33:37.000Z", "title": "Complete $\\mathcal{L}_{ω_1,ω}$-Sentences with Maximal Models in Multiple Cardinalities", "authors": [ "John Baldwin", "Ioannis Souldatos" ], "comment": "17 pages, submitted", "categories": [ "math.LO" ], "abstract": "In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete $\\mathcal{L}_{\\omega_1,\\omega}$-sentences with maximal models in more than one cardinality; indeed in countably many cardinalities. The key new construction is a complete $\\mathcal{L}_{\\omega_1,\\omega}$-sentence with arbitrarily large models but with $(\\kappa^+,\\kappa)$ models for every $\\kappa$.", "revisions": [ { "version": "v1", "updated": "2015-08-26T19:33:37.000Z" } ], "analyses": { "subjects": [ "03C75", "03C35", "03C52", "03C30", "03C15" ], "keywords": [ "maximal models", "cardinality", "multiple cardinalities", "incomplete sentences", "arbitrarily large models" ], "note": { "typesetting": "TeX", "pages": 17, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2015arXiv150806620B" } } }