Nuprl Definition : es-prior-eclass

es-prior-eclass(X) == local-pred-class(

es,e.member-eclass(es;X;e))

Proof not projected

Definitions occuring in Statement : local-pred-class: local-pred-class(P), member-eclass: member-eclass(es;e;X), lambda:

x.A[x]
Definitions : local-pred-class: local-pred-class(P), lambda:

x.A[x], member-eclass: member-eclass(es;e;X)
FDL editor aliases : es-prior-eclass

es-prior-eclass(X) == local-pred-class(\mlambda{}es,e.member-eclass(es;X;e)) Date html generated: 2011_10_20-PM-04_51_33 Last ObjectModification: 2011_06_21-PM-04_23_11 Home Index