You are here

Effective Mathematics of the Uncountable

Publisher: 
Cambridge University Press
Number of Pages: 
197
Price: 
85.00
ISBN: 
9781107014510
Date Received: 
Thursday, January 9, 2014
Reviewable: 
No
Include In BLL Rating: 
No
Noam Greenberg, Joel David Hamkins, Denis Hirschfeldt and Russell Miller, editors
Series: 
Lecture Notes in Logic
Publication Date: 
2014
Format: 
Hardcover
Category: 
Proceedings

List of contributors
Preface
1. Introduction
2. Borel structures: a brief survey Antonio Montalbán and André Nies
3. Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals Samuel Coskey and Joel David Hamkins
4. Some results on R-computable structures W. Calvert and J. E. Porter
5. Effective model theory via the Σ-definability approach Alexey Stukachev
6. Computable structure theory using admissible recursion theory on ω1 Noam Greenberg and Julia F. Knight
7. E-recursive intuitions Gerald E. Sacks
8. Local computability and uncountable structures Russell Miller
9. Reverse mathematics, countable and uncountable: a computational approach Richard A. Shore.

Publish Book: 
Modify Date: 
Thursday, January 9, 2014

Dummy View - NOT TO BE DELETED