Nuprl Definition : FOAssignment
An assignment assigns a member of Dom to each variable.
(Variables in mFOL() formulas are represented by integers).⋅
FOAssignment(Dom) == ℤ ─→ Dom
Definitions occuring in Statement :
function: x:A ─→ B[x],
int: ℤ
FDL editor aliases :
FOAssignment
FOAssignment(Dom) == \mBbbZ{} {}\mrightarrow{} Dom
Date html generated:
2015_07_17-AM-07_53_07
Last ObjectModification:
2012_09_11-PM-05_36_17
Home
Index