Kurepa tree from an inaccessible binary tree Created 2026-10-06 Updated 2026-11-05
Let be strongly inaccessible cardinal in the ground model and perform the finite Lévy collapse to omega-one. The ground full binary set-theoretic tree of height has all levels of size less than , so these levels become countable. Its at least ground branches remain distinct. The chain condition for forcing preserves , which is the extension . The unchanged ground set-theoretic tree therefore witnesses the Kurepa hypothesis.