Nuprl Definition : ccc-nset
CCCNSet(K) == (K ⊆r ℕ) ∧ K ∧ CCC(K)
Definitions occuring in Statement :
contra-cc: CCC(T),
nat: ℕ,
subtype_rel: A ⊆r B,
and: P ∧ Q
Definitions occuring in definition :
contra-cc: CCC(T),
and: P ∧ Q,
nat: ℕ,
subtype_rel: A ⊆r B
FDL editor aliases :
ccc-nset
Latex:
CCCNSet(K) == (K \msubseteq{}r \mBbbN{}) \mwedge{} K \mwedge{} CCC(K)
Date html generated:
2019_06_20-PM-03_01_26
Last ObjectModification:
2019_06_13-AM-11_03_38
Theory : continuity
Home
Index