LargeCardinalHierarchy
data Card
apply
zero
one
absolute
zeros
ones
alefz
tavs
absolutes
absoluteInfinities
(#)
(#.)
(*.)
x
(^.)
cp
cartesianProduct
powerList
ascend
descend
level
ascent
descent
c
alef
aleph
beth
wInac
weaklyInaccessible
sInac
stronglyInaccessible
theta
aInac
alphaInaccessible
hInac
hyperInaccessible
nu
h2Inac
hyper2Inaccessible
mu
wMahlo
weaklyMahlo
sMahlo
stronglyMahlo
rho
aMahlo
alphaMahlo
hMahlo
hyperMahlo
reflect
reflecting
pii
piIndesc
piIndescribable
ti
totalIndesc
totallyIndescribable
ni
nuIndesc
nuIndescribable
lambdaUnfold
lambdaUnfoldable
unfold
unfoldable
lambdaShrewd
shrewd
ether
ethereal
subtle
almostIneff
almostIneffable
ineff
ineffable
nIneff
nIneffable
totalIneff
totallyIneffable
remark
remarkable
aErdos
alphaErdos
gamma
gErdos
gammaErdos
aRamsey
almostRamsey
jonsson
rowbottom
ramsey
iRamsey
ineffablyRamsey
measure
measurable
kappa
zeroDag
zeroDagger
lambdaStrong
strong
woodin
whWoodin
weaklyHyperWoodin
shelah
hWoodin
hyperWoodin
ss
supStrong
superstrong
superStrong
subcompact
stronglyCompact
supCompact
superCompact
eta
etaExtend
etaExtendible
ex
extend
extendible
vopenka
nss
nSuperstrong
nah
nAlmostHuge
nsah
nSuperAlmostHuge
nh
nHuge
nsh
nSuperHuge
rank
lambda
rankIntoRank
reinhardt
order
zeroOrder
orderClass
club
fixedpoints
higherOrder
fromTo
alephs
alefs
wInacs
weaklyInaccessibles
wInacz
weaklyInaccessiblez
sInacs
stronglyInaccessibles
sInacz
stronglyInaccessiblez
aInacs
alphaInaccessibles
aInacz
alphaInaccessiblez
hInacs
hyperInaccessibles
hInacz
hyperInaccessiblez
h2Inacs
hyper2Inaccessibles
h2Inacz
hyper2Inaccessiblez
wMahlos
weaklyMahlos
wMahloz
weaklyMahloz
sMahlos
stronglyMahlos
sMahloz
stronglyMahloz
aMahlos
alphaMahlos
aMahloz
alphaMahloz
hMahlos
hyperMahlos
hMahloz
hyperMahloz
reflections
reflexions
piis
piIndescribables
piiz
piIndescribablez
tis
totallyIndescribables
tiz
totallyIndescribablez
nis
nuIndescribables
niz
nuIndescribablez
lambdaUnfolds
lambdaUnfoldables
lambdaUnfoldz
lambdaUnfoldablez
unfolds
unfoldables
unfoldz
unfoldablez
lambdaShrewds
lambdaShrewdz
shrewds
shrewdz
ethers
ethereals
etherz
etherealz
subtles
subtlez
almostIneffs
almostIneffables
almostIneffz
almostIneffablez
ineffs
ineffables
ineffz
ineffablez
nIneffs
nIneffables
nIneffz
nIneffablez
totalIneffs
totallyIneffables
totalIneffz
totallyIneffablez
remarkables
remarkablez
aErdoss
alphaErdoss
aErdosz
alphaErdosz
gErdoss
gammaErdoss
gErdosz
gammaErdosz
aRamseys
almostRamseys
aRamseyz
almostRamseyz
jonssons
jonssonz
rowbottoms
rowbottomz
ramseys
ramseyz
iRamseys
ineffablyRamseys
iRamseyz
ineffablyRamseyz
measures
measurables
measurez
measurablez
zeroDags
zeroDaggers
zeroDagz
zeroDaggerz
lambdaStrongs
lambdaStrongz
strongs
strongz
woodins
woodinz
whWoodins
weaklyHyperWoodins
whWoodinz
weaklyHyperWoodinz
shelahs
shelahz
hWoodins
hyperWoodins
hWoodinz
hyperWoodinz
sss
superstrongs
ssz
superstrongz
scs
subcompacts
scz
subcompactz
stronglycompacts
stronglycompactz
supercompacts
supercompactz
etas
etaExtendibles
etaz
etaExtendiblez
extends
extendibles
extendz
extendiblez
vopenkas
vopenkaz
nsss
nSuperstrongs
nssz
nSuperstrongz
nahs
nAlmostHuges
nahz
nAlmostHugez
nsahs
nSuperAlmostHuges
nsahz
nSuperAlmostHugez
nHuges
nHugez
nshs
nSuperHuges
nshz
nSuperHugez
ranks
rankIntoRanks
rankz
rankIntoRankz
reinhardts
reinhardtz