Charles Explorer logo
🇬🇧

Grigorieff forcing and the tree property

Publication at Faculty of Arts |
2017

Abstract

We use Grigorieff forcing to obtain the tree property at the double successor of a regular uncountable cardinal kappa.