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!