Nuprl Definition : i-witness

i-witness(I;r;p) ==  fst((TERMOF{i-member-witness:o, 1:l} I r p))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  pi1: fst(t),  apply: f a
TermOfs occuring in Definition :  i-member-witness
FDL editor aliases :  i-witness i-witness
Latex:
i-witness(I;r;p)  ==    fst((TERMOF\{i-member-witness:o,  1:l\}  I  r  p))


Date html generated: 2016_05_18-AM-08_43_10
Last ObjectModification: 2015_09_23-AM-09_07_29

Theory : reals


Home Index