Description |
1 online resource (207 pages) |
Series |
Lecture Notes in Logic |
|
Lecture notes in logic.
|
Contents |
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 |
Summary |
A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains |
Bibliography |
Includes bibliographical references |
Notes |
English |
|
Print version record |
Subject |
Infinite.
|
|
infinity.
|
|
Infinite
|
Form |
Electronic book
|
Author |
Hirschfeldt, Denis
|
|
Hamkins, Joel David
|
|
Miller, Russell
|
ISBN |
9781107496347 |
|
1107496349 |
|
9781107014510 |
|
1107014514 |
|
9781107503496 |
|
1107503493 |
|
1107516471 |
|
9781107516472 |
|
9781107506152 |
|
1107506158 |
|
1139892037 |
|
9781139892032 |
|
1139028596 |
|
9781139028592 |
|
1107513766 |
|
9781107513761 |
|