Classical computable model theory is most naturally concerned with countable domains ... introductions to eight major approaches to computable uncountable mathematics: descriptive set theory; infinite ...