Institut für Diskrete Mathematik und Geometrie, Technische Universität Wien
Autor*in
Jakob Kellner
Institut für Diskrete Mathematik und Geometrie, Technische Universität Wien
... show all
Abstract
We use a (countable support) creature construction to show that consistently
d=ℵ1=cov(N)<non(M)<non(N)<cof(N)<2ℵ0.
The same method shows the consistency of
d=ℵ1=cov(N)<non(N)<non(M)<cof(N)<2ℵ0.
Stichwort
Set theory of the realsCreature forcingCichoń’s diagram