Nuprl Definition : psc-predicate
psc-predicate(C; X; I,rho.P[I; rho]) == stable-element-predicate(C;X;I,rho.P[I; rho])
Definitions occuring in Statement :
stable-element-predicate: stable-element-predicate(C;F;I,rho.P[I; rho])
Definitions occuring in definition :
stable-element-predicate: stable-element-predicate(C;F;I,rho.P[I; rho])
FDL editor aliases :
psc-predicate
Latex:
psc-predicate(C; X; I,rho.P[I; rho]) == stable-element-predicate(C;X;I,rho.P[I; rho])
Date html generated:
2018_05_22-PM-09_58_51
Last ObjectModification:
2018_02_19-PM-06_08_26
Theory : presheaf!models!of!type!theory
Home
Index