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