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