A hierarchy of Turing degrees : (Record no. 81475)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04275cam a2200745 i 4500 |
001 - CONTROL NUMBER | |
control field | on1151198376 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20220908100211.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 cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 200509s2020 njua ob 000 0 eng d |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | EBLCP |
Language of cataloging | eng |
Description conventions | rda |
-- | pn |
Transcribing agency | EBLCP |
Modifying agency | OCLCO |
-- | N$T |
-- | JSTOR |
-- | OCLCF |
-- | UBY |
-- | CUV |
-- | BNG |
-- | YDX |
-- | OH1 |
-- | IEEEE |
-- | OCLCO |
-- | SFB |
-- | OCLCO |
-- | OCLCQ |
019 ## - | |
-- | 1159141858 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780691200217 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0691200211 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780691199658 |
Qualifying information | (hardcover) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 0691199655 |
Qualifying information | (hardcover) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780691199665 |
Qualifying information | (paperback) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 0691199663 |
Qualifying information | (paperback) |
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
OCLC library identifier | AU@ |
System control number | 000067499835 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)1151198376 |
Canceled/invalid control number | (OCoLC)1159141858 |
037 ## - SOURCE OF ACQUISITION | |
Stock number | 22573/ctvssq932 |
Source of stock number/acquisition | JSTOR |
037 ## - SOURCE OF ACQUISITION | |
Stock number | 9452519 |
Source of stock number/acquisition | IEEE |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA9.63 |
Item number | .D69 2020 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT |
Subject category code subdivision | 018000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM |
Subject category code subdivision | 014000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT |
Subject category code subdivision | 003000 |
Source | bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 |
Edition number | 23 |
049 ## - LOCAL HOLDINGS (OCLC) | |
Holding library | MAIN |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Downey, R. G. |
Fuller form of name | (Rod G.), |
Relator term | author. |
9 (RLIN) | 65523 |
245 12 - TITLE STATEMENT | |
Title | A hierarchy of Turing degrees : |
Remainder of title | a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability / |
Statement of responsibility, etc. | Rod Downey, Noam Greenberg. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Princeton, New Jersey : |
Name of producer, publisher, distributor, manufacturer | Princeton University Press, |
Date of production, publication, distribution, manufacture, or copyright notice | 2020 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource : |
Other physical details | illustrations |
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 1# - SERIES STATEMENT | |
Series statement | Annals of Mathematics Studies ; |
Volume/sequential designation | v. 385 |
490 1# - SERIES STATEMENT | |
Series statement | Annals of mathematics studies ; |
Volume/sequential designation | number 206 |
588 0# - SOURCE OF DESCRIPTION NOTE | |
Source of description note | Print version record |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Includes bibliographical references |
500 ## - GENERAL NOTE | |
General note | Series: Annals of Mathematics Studies, 385--online resource web page. Annals of Mathematics Studies Number 206--PDF title page |
520 ## - SUMMARY, ETC. | |
Summary, etc. | Computability theory is a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field has developed growing connections in diverse areas of mathematics, with applications in topology, group theory, and other subfields. This book introduces a new hierarchy that allows them to classify the combinatorics of constructions from many areas of computability theory, including algorithmic randomness, Turing degrees, effectively closed sets, and effective structure theory. This unifying hierarchy gives rise to new natural definability results for Turing degree classes, demonstrating how dynamic constructions become reflected in definability. The book presents numerous construction techniques involving high-level nonuniform arguments, and their self-contained work is appropriate for graduate students and researchers. Blending traditional and modern research results in computability theory, the book establishes novel directions in the field. |
590 ## - LOCAL NOTE (RLIN) | |
Local note | IEEE |
Provenance (VM) [OBSOLETE] | IEEE Xplore Princeton University Press eBooks Library |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Unsolvability (Mathematical logic) |
9 (RLIN) | 65524 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computable functions. |
9 (RLIN) | 65525 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Recursively enumerable sets. |
9 (RLIN) | 65526 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Non-r�esolubilit�e (Logique math�ematique) |
9 (RLIN) | 65527 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Fonctions calculables. |
9 (RLIN) | 65528 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Ensembles r�ecursivement �enum�erables. |
9 (RLIN) | 65529 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | MATHEMATICS |
General subdivision | Logic. |
Source of heading or term | bisacsh |
9 (RLIN) | 65530 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computable functions |
Source of heading or term | fast |
Authority record control number or standard number | (OCoLC)fst00871985 |
9 (RLIN) | 65525 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Recursively enumerable sets |
Source of heading or term | fast |
Authority record control number or standard number | (OCoLC)fst01091988 |
9 (RLIN) | 65526 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Unsolvability (Mathematical logic) |
Source of heading or term | fast |
Authority record control number or standard number | (OCoLC)fst01162046 |
9 (RLIN) | 65524 |
655 #4 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
9 (RLIN) | 3294 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Greenberg, Noam, |
Dates associated with a name | 1974- |
Relator term | author. |
9 (RLIN) | 65531 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version: |
Main entry heading | Downey, R.G. (Rod G.). |
Title | Hierarchy of Turing degrees. |
Place, publisher, and date of publication | Princeton, New Jersey : Princeton University Press, 2020 |
International Standard Book Number | 9780691199658 |
Record control number | (DLC) 2019052456 |
-- | (OCoLC)1145894088 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Annals of mathematics studies ; |
Volume/sequential designation | no. 206, 385. |
9 (RLIN) | 65532 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://ieeexplore.ieee.org/servlet/opac?bknumber=9452519">https://ieeexplore.ieee.org/servlet/opac?bknumber=9452519</a> |
938 ## - | |
-- | Askews and Holts Library Services |
-- | ASKH |
-- | AH37347562 |
938 ## - | |
-- | ProQuest Ebook Central |
-- | EBLB |
-- | EBL6173881 |
938 ## - | |
-- | EBSCOhost |
-- | EBSC |
-- | 2324246 |
938 ## - | |
-- | YBP Library Services |
-- | YANK |
-- | 16584674 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks |
994 ## - | |
-- | 92 |
-- | INTKS |
No items available.