Model theory without choice: Categoricity
| dc.creator | Shelah, Saharon | |
| dc.date | 2005-04-10 | |
| dc.date | 2008-07-08 | |
| dc.date.accessioned | 2026-07-07T09:48:53Z | |
| dc.date.available | 2026-07-07T09:48:53Z | |
| dc.description | We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context: the number of models of a countable first order T of cardinality aleph_alpha is either >=|alpha| for every aleph_αor it has a small upper bound (close to beth_2). | |
| dc.identifier | https://arxiv.org/abs/math/0504196 | |
| dc.identifier | http://arxiv.org/abs/math/0504196 | |
| dc.identifier | J. Symbolic Logic 74 No. 2 (2009) 361--401 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/164383 | |
| dc.subject | Logic | |
| dc.title | Model theory without choice: Categoricity | |
| dc.type | text |