Abstrakt
Hlavní věta (Decomposition theorem) ukazuje, že každá úplná ccc Booleaova algebra buď nese Maharamovu submíru, nebo je v ní každá neprázdná otevřená množina (otevřená v sekvenciální topologii) topologicky hustá. Tato věta je dále použita k důkazu konzistence positivního řešeni dlouho otevřeného von Neuannova problému