Creature forcing and five cardinal characteristics in Cichoń’s diagram

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 .

Saved in:
Bibliographic Details
Published in:Archive for mathematical logic 2017-11, Vol.56 (7-8), p.1045-1103
Main Authors: Fischer, Arthur, Goldstern, Martin, Kellner, Jakob, Shelah, Saharon
Format: Article
Language:English
Subjects:
Algebra
Mathematical Logic and Foundations
Mathematics
Mathematics and Statistics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 .
ISSN:0933-5846
1432-0665
DOI:10.1007/s00153-017-0553-8