Iterable cardinal - Iterable cardinal

v matematika, an opakovatelný kardinál je typ velký kardinál představil Gitman (2011 ) a Sharpe a Welch (2011 ), a dále studoval Gitman a Welch (2011 ). Sharpe a Welch definovali kardinála κ být iterovatelný pokud každá podmnožina κ je obsažen ve slabém κ-Modelka M pro které existuje M-ultrafiltr na κ což umožňuje dobře založené iterace ultrapowers libovolné délky. Gitman dal lepší představu, kde kardinál κ je definován jako α-iterableif ultrapower iterace pouze délky α jsou povinni správně založit. (Standardními argumenty je iterovatelnost ekvivalentní ω1- čitelnost.)

Reference

  • Gitman, Victoria (2011), „Ramsey-like cardinals I“, Journal of Symbolic Logic, 76 (2): 519–540, arXiv:0801.4723, doi:10.2178 / jsl / 1305810762, PAN  2830435
  • Gitman, Victoria; Welch, P. D. (2011), „Ramsey-like cardinals II“, Journal of Symbolic Logic, 76 (2): 541–560, arXiv:1104.4448, doi:10.2178 / jsl / 1305810763, PAN  2830435
  • Sharpe, Ian; Welch, P. D. (2011), „Greatly Erdős Cardinals with some generalizations to the Chang and Ramsey properties“, Annals of Pure and Applied Logic, 162 (2): 863–902, doi:10.1016 / j.apal.2011.04.002, PAN  2817562CS1 maint: formát MR (odkaz)


externí odkazy