Nuprl Definition : dccc-nset
dccc-nset(K) == (K ⊆r ℕ) ∧ K ∧ dCCC(K)
Definitions occuring in Statement :
contra-dcc: dCCC(T),
nat: ℕ,
subtype_rel: A ⊆r B,
and: P ∧ Q
Definitions occuring in definition :
contra-dcc: dCCC(T),
and: P ∧ Q,
nat: ℕ,
subtype_rel: A ⊆r B
FDL editor aliases :
dccc-nset
Latex:
dccc-nset(K) == (K \msubseteq{}r \mBbbN{}) \mwedge{} K \mwedge{} dCCC(K)
Date html generated:
2019_06_20-PM-03_01_18
Last ObjectModification:
2019_06_20-AM-10_01_27
Theory : continuity
Home
Index