Effective mathematics of the uncountable /
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. Unlike in the classical case, however, no single dominant approach has emerged, and differ...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | , , |
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
[Ithaca, NY?] : Cambridge :
Association for Symbolic Logic ; Cambridge University Press,
2013.
|
Colección: | Lecture notes in logic ;
41. |
Temas: | |
Acceso en línea: | Texto completo |