3.3 Computability elsewhere

In all of mathematics, whenever the objects we talk about are countable, we can

try to sneak in computability theory. Examples include, for example, Ramsey

theory, or logic.