A category-theoretic characterization of almost measurable cardinals

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

LIEBERMAN Michael

Rok publikování 2020
Druh Článek v odborném periodiku
Časopis / Zdroj Proceedings of the American Mathematical Society
Fakulta / Pracoviště MU

Přírodovědecká fakulta

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.