Effective Mathematics of the Uncountable / (Record no. 230700)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02478nam a22003858a 4500 |
| 001 - CONTROL NUMBER | |
| control field | CR9781139028592 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | UkCbUP |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20171023141012.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m|||||o||d|||||||| |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr|||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110221s2013||||enk s ||1 0|eng|d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781139028592 (ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781107014510 (hardback) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | UkCbUP |
| Transcribing agency | UkCbUP |
| Description conventions | rda |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA9.7 |
| Item number | .E34 2013 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | n/a |
| Edition number | n/a |
| 245 00 - TITLE STATEMENT | |
| Title | Effective Mathematics of the Uncountable / |
| Statement of responsibility, etc. | Edited by Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cambridge : |
| Name of producer, publisher, distributor, manufacturer | Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (204 pages) : |
| Other physical details | digital, PDF file(s). |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 490 0# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Logic ; |
| Volume/sequential designation | no. 41 |
| 500 ## - GENERAL NOTE | |
| General note | Title from publisher's bibliographic system (viewed on 09 Oct 2015). |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 different methods reveal different aspects of the computable content of uncountable mathematics. This book contains introductions to eight major approaches to computable uncountable mathematics: descriptive set theory; infinite time Turing machines; Blum-Shub-Smale computability; Sigma-definability; computability theory on admissible ordinals; E-recursion theory; local computability; and uncountable reverse mathematics. This book provides an authoritative and multifaceted introduction to this exciting new area of research that is still in its early stages. It is ideal as both an introductory text for graduate and advanced undergraduate students and a source of interesting new approaches for researchers in computability theory and related areas. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Model theory |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computable functions |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Greenberg, Noam, |
| Relator term | editor of compilation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hirschfeldt, Denis, |
| Relator term | editor of compilation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hamkins, Joel David, |
| Relator term | editor of compilation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Miller, Russell, |
| Relator term | editor of compilation. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| International Standard Book Number | 9781107014510 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Logic ; |
| Volume number/sequential designation | no. 41. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1017/CBO9781139028592 |
No items available.