![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
A category-theoretic characterization of almost measurable cardinals
Autoři | |
---|---|
Rok publikování | 2020 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Proceedings of the American Mathematical Society |
Fakulta / Pracoviště MU | |
Citace | |
www | https://doi.org/10.1090/proc/15076 |
Doi | http://dx.doi.org/10.1090/proc/15076 |
Klíčová slova | Almost measurable cardinals; accessible categories; abstract elementary classes; Galois-types; locality |
Popis | Through careful analysis of an argument of [Proc. Amer. Math. Soc. 145 (2017), pp. 1317-1327], we show that the powerful image of any accessible functor is closed under colimits of kappa-chains, kappa a sufficiently large almost measurable cardinal. This condition on powerful images, by methods resembling those of [J. Symb. Log. 81 (2016), pp. 151-165], implies kappa-locality of Galois-types. As this, in turn, implies sufficient measurability of kappa, via [Proc. Amer. Math. Soc. 145 (2017), pp. 4517-4532], we obtain an equivalence: a purely category-theoretic characterization of almost measurable cardinals. |
Související projekty: |