Cargando…
Effective Mathematics of the Uncountable.
A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
2013.
|
| Colección: | Lecture notes in logic.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Cover; Half-Title; Series-Page; Title; Copyright; Contents; Preface; Introduction; Some results on mathbb R-computable structures; Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals; Computable structure theory using admissible recursion theory on omega subscript 1 using admissibility; Local computability and uncountable structures; Borel structures: a brief survey; E-recursive intuitions; Reverse mathematics, countable and uncountable: a computational approach; Effective model theory: an approach via sigma-definability.