Cargando…

Effective Mathematics of the Uncountable.

A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Greenberg, Noam
Otros Autores: Hirschfeldt, Denis, Hamkins, Joel David, Miller, Russell
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

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_ocn866440808
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |n|||||||||
008 131221s2013 enk ob 000 0 eng d
040 |a EBLCP  |b eng  |e pn  |c EBLCP  |d OCLCO  |d CDX  |d DEBSZ  |d OCLCO  |d COO  |d OCLCQ  |d OCLCF  |d CNSPO  |d YDXCP  |d OCLCQ  |d K6U  |d VLY  |d LUN  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 872699942  |a 1162013174  |a 1167256442 
020 |a 9781107496347 
020 |a 1107496349 
020 |a 9781107014510 
020 |a 1107014514 
020 |a 9781107503496  |q (e-book) 
020 |a 1107503493  |q (e-book) 
020 |a 1107516471  |q (electronic bk.) 
020 |a 9781107516472  |q (electronic bk.) 
020 |a 9781107506152 
020 |a 1107506158 
020 |a 1139892037 
020 |a 9781139892032 
020 |a 1139028596 
020 |a 9781139028592 
020 |a 1107513766 
020 |a 9781107513761 
029 1 |a AU@  |b 000055939955 
029 1 |a CHNEW  |b 000899357 
029 1 |a DEBSZ  |b 399567607 
029 1 |a DEBSZ  |b 445986689 
035 |a (OCoLC)866440808  |z (OCoLC)872699942  |z (OCoLC)1162013174  |z (OCoLC)1167256442 
050 4 |a QA248 
082 0 4 |a 511.3  |b 23 
049 |a UAMI 
100 1 |a Greenberg, Noam. 
245 1 0 |a Effective Mathematics of the Uncountable. 
260 |a Cambridge :  |b Cambridge University Press,  |c 2013. 
300 |a 1 online resource (207 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Logic 
588 0 |a Print version record. 
505 0 |a 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. 
520 |a A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains. 
504 |a Includes bibliographical references. 
546 |a English. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Infinite. 
650 6 |a Infini. 
650 7 |a infinity.  |2 aat 
650 7 |a Infinite  |2 fast 
700 1 |a Hirschfeldt, Denis. 
700 1 |a Hamkins, Joel David. 
700 1 |a Miller, Russell. 
758 |i has work:  |a Effective mathematics of the uncountable (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGh8vpTRgj6KTjvDrCjcj3  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Greenberg, Noam.  |t Effective Mathematics of the Uncountable.  |d Cambridge : Cambridge University Press, ©2013  |z 9781107014510 
830 0 |a Lecture notes in logic. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1543609  |z Texto completo 
938 |a Coutts Information Services  |b COUT  |n 27068173 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL1543609 
938 |a YBP Library Services  |b YANK  |n 11391954 
938 |a YBP Library Services  |b YANK  |n 11408999 
938 |a YBP Library Services  |b YANK  |n 11425993 
938 |a YBP Library Services  |b YANK  |n 11440512 
938 |a YBP Library Services  |b YANK  |n 11719795 
994 |a 92  |b IZTAP