Nuprl Definition : oal_bpos
pos(ps) == (¬bnull(ps)) ∧b (e <b lv(ps))
Definitions occuring in Statement :
oal_lv: lv(ps),
oal_null: null(ps),
band: p ∧b q,
bnot: ¬bb,
grp_blt: a <b b,
grp_id: e
Definitions occuring in definition :
band: p ∧b q,
bnot: ¬bb,
oal_null: null(ps),
grp_blt: a <b b,
grp_id: e,
oal_lv: lv(ps)
Latex:
pos(ps) == (\mneg{}\msubb{}null(ps)) \mwedge{}\msubb{} (e <\msubb{} lv(ps))
Date html generated:
2016_05_16-AM-08_20_21
Last ObjectModification:
2015_09_23-AM-09_53_00
Theory : polynom_2
Home
Index