MARK MANDELKERN 116
decision sequence 2.3
dichotomy prediction principle 10.12
DPP 10.12
EM 2.2
excluded middle 2.2
expansion 5.6
function generated
by a relief 6.10
by a relief function 14.9
functional relief 6.10
gaps 14.18
generated function
by a relief 6.10
by a r e l i e f function 14.9
generating r e l i e f 6.10
greatest lower bound 4.2
increasing 12.2
inf imum 4.2
interior 5.2
LCP 1.4, 13.2, 16.1
least upper bound 4.2
lesser limited principle of omniscience 2.4
limited continuity principle 1.4, 13.2, 16.1
limited principle of existence 2.5
limited principle of omniscience 2.4
LLPO 2.4
located 5.2
located relief 6.5
lower bound 4.2
lower semi-continuous 7.2
LPE 2.5
LPO 2.4
Markov's principle 2.5
metric complement 5.2
nearly convex 10.4
nearly increasing 14.7
Previous Page Next Page