Nuprl Definition : context-lookup
context-lookup(Gamma;x) == Gamma[||Gamma|| - x + 1]
Definitions occuring in Statement :
select: L[n],
length: ||as||,
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
select: L[n],
subtract: n - m,
length: ||as||,
add: n + m,
natural_number: $n
FDL editor aliases :
context-lookup
Latex:
context-lookup(Gamma;x) == Gamma[||Gamma|| - x + 1]
Date html generated:
2016_05_15-PM-10_31_40
Last ObjectModification:
2015_09_24-PM-01_30_49
Theory : minimal-first-order-logic
Home
Index