Measurable: Difference between revisions

1,911 bytes added ,  10 months ago
Created page with "A measurable cardinal is a certain type of large cardinal which possesses strong properties. It was one of the first large cardinal axioms to be developed, after inaccessible, Mahlo and weakly compact cardinals. Any measurable cardinal is weakly compact, and therefore Mahlo and inaccessible. Furthermore, any measurable cardinal is \(\Pi^2_1\)-indescribable, but not \(\..."
(Created page with "A measurable cardinal is a certain type of large cardinal which possesses strong properties. It was one of the first large cardinal axioms to be developed, after inaccessible, Mahlo and weakly compact cardinals. Any measurable cardinal is weakly compact, and therefore Mahlo and inaccessible. Furthermore, any measurable cardinal is \(\Pi^2_1\)-indescribable, but not \(\...")
(No difference)