Cardinal Mahlo
Em matemática, um Cardinal Mahlo é um determinado tipo de número cardinal grande.[1] Cardinais Mahlo foram primeiramente descrita por Paul Mahlo na primeira década do século XX. Tal como acontece com todos os números cardinais grandes, nenhuma dessas variedades de cardinais Mahlo pode ser provada a existência de ZFC (assumindo que ZFC é consistente).
Um número cardinal κ é chamado Mahlo se κ é inacessível e o conjunto U = {λ < κ: λ é inacessível} é estacionário em κ.
Um cardinal κ é chamada de fracamente Mahlo se κ é fracamente inacessível e o conjunto de cardinais fracamente inacessíveis menor que κ é estacionário em κ.[2][3]
Referências
- ↑ Large cardinals [[1]]
- ↑ Mahlo, Paul (1911), "Über lineare transfinite Mengen", Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig. Mathematisch-Physische Klasse 63: 187–225
- ↑ Mahlo, Paul (1912), "Zur Theorie und Anwendung der ρ0-Zahlen", Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig. Mathematisch-Physische Klasse 64: 108–112
