35–98..
Zasada kwadratu Jensena to zdanie: dla każdej nieskończonej liczby kardynalnej zachodzi
Uwagi Zdanie jest konsekwencją teorii ZFC, natomiast dla każdej nieprzeliczalnej liczby kardynalnej zdanie jest niezależne od ZFC. Aksjomat V = L pociąga zasadę kwadratu JensenaR. Björn Jensen, The fine structure of the constructible hierarchy, „Ann. Math. Logic”, 4, s. 229–308; erratum, ibid. 4 (1972), 443, 1972. With a section by Jack Silver.. Robert M. Solovay udowodnił, że jeżeli jest liczbą większą od pewnej liczby super-zwartej, to nie zachodzi. Stevo Todorčević udowodnił, że PFA pociąga, że dla każdej nieprzeliczalnej liczby zasada nie zachodziS. Todorčević, Trees and linearly ordered sets, w: K. Kunen, J.E. Vaughan, Handbook of Set-Theoretic Topology, eds. North-Holland Publishing Co., Amsterdam-New York, 1984, s. 235–293..
Przypisy
Bibliografia
Kategoria:Aksjomaty teorii mnogości Kategoria:Liczby kardynalne