kardinalitet

Formellt definieras inversionstalet som antalet inversioner i sekvensen, det vill säga, eller inversionsmängdens kardinalitet.

Spektrum avser inom modellteori hur många modeller en teori kan uppträda i, vilket anges av kardinaltal som anger antalet modeller för teorin i varje kardinalitet.

Ett tidigt elementärt resultat är Morleys sats som säger att en teori som är kategorisk i någon överuppräknelig kardinalitet är kategorisk i alla överuppräkneliga kardinaliteter.