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