Recursion Theory Week (Record no. 9464)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03334nam a22004935i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-540-47142-4 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20190213151102.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 121227s1990 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783540471424 |
-- | 978-3-540-47142-4 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/BFb0086109 |
Source of number or code | doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA8.9-10.3 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | PBC |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT018000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | PBC |
Source | thema |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | PBCD |
Source | thema |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 |
Edition number | 23 |
245 10 - TITLE STATEMENT | |
Title | Recursion Theory Week |
Medium | [electronic resource] : |
Remainder of title | Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / |
Statement of responsibility, etc | edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks. |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
-- | 1990. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | VIII, 400 p. |
Other physical details | online resource. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Mathematics, |
International Standard Serial Number | 0075-8434 ; |
Volume number/sequential designation | 1432 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Honest polynomial reductions and exptally sets -- On the structure of degrees below O? -- Positive solutions to Post's problem -- The metamathematics of Fraïssé's order type conjecture -- Enumeration reducibility, nondeterministic computations and relative computability of partial functions -- Notes on the O? priority method with special attention to density results -- Array nonrecursive sets and multiple permitting arguments -- Superbranching degrees -- A direct construction of a minimal recursively enumerable truth-table degree -- ?2-induction and the construction of a high degree -- Undecidability and initial segments of the wtt-degrees ?0? -- Randomness and generalizations of fixed point free functions -- Recursive enumeration without repetition revisited -- Priority arguments using iterated trees of strategies -- On the relationship between the complexity, the degree, and the extension of a computable set -- Polynomially isolated sets -- A characterization of effective topological spaces. |
520 ## - SUMMARY, ETC. | |
Summary, etc | These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Mathematical Logic and Foundations. |
-- | http://scigraph.springernature.com/things/product-market-codes/M24005 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Ambos-Spies, Klaus. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Müller, Gert H. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Sacks, Gerald E. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY | |
Title | Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783662178553 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783540527725 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Lecture Notes in Mathematics, |
-- | 0075-8434 ; |
Volume number/sequential designation | 1432 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://doi.org/10.1007/BFb0086109 |
912 ## - | |
-- | ZDB-2-SMA |
912 ## - | |
-- | ZDB-2-LNM |
912 ## - | |
-- | ZDB-2-BAE |
No items available.