Historic iteration with alephepsilon-support
Saharon Shelah
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''.
Create a lesson
Related papers
The Logic of Emergence
David H. Wolpert, David C. Krakauer
The group of strong automorphisms of the differential field of transseries
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
Escaping and generics over ideals
Laurent Bienvenu, Noam Greenberg, Ludovic Patey et al.
Definably isometric cuboids over Hensel minimal fields
Marcelo Fortmann
A weak λ-set that is not a λ-set under p = c
Alexander V. Osipov, Anton E. Lipin
The Cone Fixing the Reals of $HODM2n(x)
Farmer Schlutzenberg, Connor Watson