Historic iteration with alephepsilon-support
Abstract
One aim of this work is to get a universe in which weak versions of Martin axioms holds for some forcing notions of cardinality aleph0, aleph1 and aleph2 while on aleph2 club, the ``small'' brother of diamond, holds. As a consequence we get the consistency of ``there is no Gross space''. Another aim is to present a case of ``Historic iteration''.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.