Kurepa-family hypothesis
ID: kurepa-family-hypothesis
There is of size such that is countable for every . Its initial-segment tree, pruned and leveled to be normal, is a Kurepa tree.
New to topics? Read the docs here!
New to topics? Read the docs here!