Bellman's Forest Problem and Computability SQZGKRDVBX

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
1TTX6VRB55	definition	definition 3.3	arxiv
Computably Presented Compact Metric Spaces	definition	definition 3.2	arxiv
The Disk	example	example 2.3	arxiv
Forests and Paths	definition	definition 2.1	arxiv
6A4GH3R41N	definition	definition 3.7	arxiv
Levels of the Escape Function Correspond to Perturbations	statement	lemma 4.1	arxiv
88CV36FHA6	definition	definition 2.9	arxiv
8PXAE19PYK	definition	definition 2.8	arxiv
Bellman's Examples	example	example 2.4	arxiv
9PD34K9BQM	definition	definition 2.7	arxiv
A1BMZTCVT0	statement	theorem 4.8	arxiv
A5SPSX754K	statement	lemma 5.1	arxiv
Almost Every Forest Problem is Limit Solvable By A Uniform Algorithm	statement	theorem 4.3	arxiv
EEXYZ9X098	example	example 3.5	arxiv
Metric On Paths	definition	definition 2.5	arxiv
Descent	definition	definition 3.9	arxiv
FMTCKKKX71	statement	lemma 4.7	arxiv
GB88G0NEPN	definition	definition 2.6	arxiv
KP298BH3A1	statement	lemma 4.6	arxiv
NTVFTXFAPE	example	example 3.6	arxiv
P2KN3SETAC	definition	definition 3.1	arxiv
Escape	definition	definition 2.2	arxiv
Moduli of Continuity	definition	definition 3.4	arxiv
SX77A9QRFS	statement	lemma 5.2	arxiv
TRQDFGW1N4	statement	lemma 4.2	arxiv
TYVQA67R1X	statement	lemma 4.5	arxiv
V27FEKY09C	example	example 4.4	arxiv
Spaces Relative To Moduli	definition	definition 3.8	arxiv
XFW6GSDXJ1	statement	theorem 3.10	arxiv
Z40GCX3P4M	statement	theorem 5.3	arxiv