Nuprl Definition : es-component
ComponentSpec(A;B) == es:EO+(Info) ⟶ EClass(A) ⟶ EClass(B) ⟶ ℙ
Definitions occuring in Statement :
eclass: EClass(A[eo; e]),
event-ordering+: EO+(Info),
prop: ℙ,
function: x:A ⟶ B[x]
FDL editor aliases :
es-component
Latex:
ComponentSpec(A;B) == es:EO+(Info) {}\mrightarrow{} EClass(A) {}\mrightarrow{} EClass(B) {}\mrightarrow{} \mBbbP{}
Date html generated:
2016_05_17-AM-07_46_48
Last ObjectModification:
2012_02_25-PM-03_02_27
Theory : event-ordering
Home
Index