Nuprl Definition : omegaset
omegaset() == {natset(n) | n ∈ ℕ}
Definitions occuring in Statement :
natset: natset(n)
,
mkset: {f[t] | t ∈ T}
,
nat: ℕ
Definitions occuring in definition :
natset: natset(n)
,
nat: ℕ
,
mkset: {f[t] | t ∈ T}
FDL editor aliases :
omegaset
Latex:
omegaset() == \{natset(n) | n \mmember{} \mBbbN{}\}
Date html generated:
2018_05_29-PM-01_49_51
Last ObjectModification:
2018_05_25-AM-00_07_48
Theory : constructive!set!theory
Home
Index