Documentation

Marginis.AnoussisFelouzisTsaprounis2021

Almost disjoint families and ultrapowers #

by MICHALIS ANOUSSIS VAGGELIS FELOUZIS KONSTANTINOS TSAPROUNIS

discusses regular cardinals. Here we prove that no natural nunmber is regular.

theorem not_regular_nat {n : } :
¬(↑n).IsRegular