We prove that a universal class categorical in a high-enough cardinal is categorical on a tail of cardinals. As opposed to other results in the literature, we work in ZFC, do not require the categoricity cardinal to be a successor, do not assume amalgamation, and do not use large cardinals. Moreover we give an explicit bound on the “high-enough” threshold:
机构:
Charles Univ Prague, Fac Math & Phys, Dept Algebra, Prague, Czech Republic
Charles Univ Prague, Fac Math & Phys, Dept Algebra, Sokolovska 83, Prague 18600, Czech RepublicCharles Univ Prague, Fac Math & Phys, Dept Algebra, Prague, Czech Republic
Kala, Vitezslav
Yatsyna, Pavlo
论文数: 0引用数: 0
h-index: 0
机构:
Charles Univ Prague, Fac Math & Phys, Dept Algebra, Prague, Czech Republic
Aalto Univ, Dept Math & Syst Anal, Espoo, FinlandCharles Univ Prague, Fac Math & Phys, Dept Algebra, Prague, Czech Republic