Sources: Klaus Weihrauch's Computable Analysis: An Introduction, Model Theory for Metric Structures by Ben Yaacov et al., Downey and Hirschfeldt's Algorithmic Randomness and Complexity. Much of the presentation comes from previous work I did on the Bellman Lost in a Forest Problem.