Classical computable model theory is most naturally concerned with countable domains ... introductions to eight major approaches to computable uncountable mathematics: descriptive set theory; infinite ...
Some results have been hidden because they may be inaccessible to you