117
CONSTRUCTIVE CONTINUITY
nearly separate the line 3.9
nearly uniformly continuous 7.10
nondecreasing 12.2
nonvoid 4.2
not 2.2
open relief 6.5
open sphere 5.2
paraconvex 10.9
PFP 3.12
positive 3.2
preconstructive mathematics 1.1
principle of excluded middle 2.2
principle of finite possibility 3.12
proper 4.2
relief 1.3, 6.5
relief function 14.9
relief generated 14.3
separate the line 3.9
shifting rules 6.11, 14.11
strong implication 6.12
strong inclusion 6.12
subcontour 6.17
supremum 4.2
UCP 1.1, 16.1
uniform continuity principle 1.1, 16.1
uniformly continuous 7.2
upper semi-continuous 7.2
void 4.2
weak implication 6.12
weak inclusion 6.12
weak limited principle of omniscience 2.4
WLPO 2.4
Previous Page Next Page