Effective Mathematics of the Uncountable (Lecture Notes in Logic) by Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins and Russell Miller
English | 2013 | ISBN: 1107014514 | 204 pages | PDF | 1 MB
Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods - some old, some new - that have extended its basic concepts to uncountable structures.