solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看1334次
A category-theoretic characterization of almost measurable cardinals. (arXiv:1809.05953v1 [math.LO])
来源于:arXiv
Through careful analysis of an argument of Brooke-Taylor and Rosicky, 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 Lieberman and
Rosicky, implies $\kappa$-locality of Galois types. As this, in turn, implies
sufficient measurability of $\kappa$, via a paper of Boney and Unger, we obtain
an equivalence: a purely category-theoretic characterization of almost
measurable cardinals. 查看全文>>