Categoricity and solvability of A.E.C., quite highly
| dc.creator | Shelah, Saharon | |
| dc.date | 2008-08-22 | |
| dc.date.accessioned | 2026-07-07T09:57:54Z | |
| dc.date.available | 2026-07-07T09:57:54Z | |
| dc.description | We investigate in ZFC what can be the family of large enough cardinals mu in which an a.e.c. K is categorical or even just solvable. We show that for not few cardinals lambda<mu there is a superlimit model in K_lambda. Moreover, our main result is that we can find a good lambda-frame s categorical in lambda such that K_s subseteq K_lambda. We then show how to use [Sh:705] to get categoricity in every large enough cardinality if K has cases of mu-amalgamation for enough mu and 2^mu<2^{mu^{+1}} <... < 2^{mu^{+n}}... for enough mu. | |
| dc.identifier | https://arxiv.org/abs/0808.3023 | |
| dc.identifier | http://arxiv.org/abs/0808.3023 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/167521 | |
| dc.subject | Logic | |
| dc.title | Categoricity and solvability of A.E.C., quite highly | |
| dc.type | text |