Holdings: Degrees of unsolvability

Degrees of unsolvability:

Saved in:

Bibliographic Details
Main Author:	Sacks, Gerald E. 1933-2019 (Author)
Format:	Book
Language:	English
Published:	Princeton, NJ Princeton Univ. Press 1966
Edition:	2. ed.
Series:	Annals of mathematics studies 55
Subjects:	Fonctions récursives Non-résolubilité (logique mathématique) Récursivité, Théorie de la Recursive functions Unlösbarkeit Rekursive Funktion
Online Access:	Inhaltsverzeichnis
Physical Description:	IX, 174 S.

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV002900253
003	DE-604
005	20190820
007	t
008	900725s1966 \|\|\|\| 00\|\|\| eng d
035			\|a (OCoLC)400090
035			\|a (DE-599)BVBBV002900253
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-384 \|a DE-91G \|a DE-739 \|a DE-355 \|a DE-824 \|a DE-20 \|a DE-703 \|a DE-83 \|a DE-188
050		0	\|a QA248.5
082	0		\|a 517.5
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SI 830 \|0 (DE-625)143195: \|2 rvk
100	1		\|a Sacks, Gerald E. \|d 1933-2019 \|e Verfasser \|0 (DE-588)128780770 \|4 aut
245	1	0	\|a Degrees of unsolvability \|c by Gerald E. Sacks
250			\|a 2. ed.
264		1	\|a Princeton, NJ \|b Princeton Univ. Press \|c 1966
300			\|a IX, 174 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Annals of mathematics studies \|v 55
650		7	\|a Fonctions récursives \|2 ram
650		7	\|a Non-résolubilité (logique mathématique) \|2 ram
650		7	\|a Récursivité, Théorie de la \|2 ram
650		4	\|a Recursive functions
650	0	7	\|a Unlösbarkeit \|0 (DE-588)4426195-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Rekursive Funktion \|0 (DE-588)4138367-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Unlösbarkeit \|0 (DE-588)4426195-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Rekursive Funktion \|0 (DE-588)4138367-9 \|D s
689	1		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-1-4008-8184-0
830		0	\|a Annals of mathematics studies \|v 55 \|w (DE-604)BV000000991 \|9 55
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001816226&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|q TUB-nvmb
999			\|a oai:aleph.bib-bvb.de:BVB01-001816226

Record in the Search Index

_version_	1804117195665440768
adam_text	CONTENTS §1 . Preliminaries 1 §2. A Continuum of Mutually Incomparable Degrees 7 §3. Uncountable Suborderings of Degrees 21 §k. The Priority Method of Friedberg and Muchnik 43 §5. An Existence Theorem for Recursively Enumerable Degrees .... 55 §6. The Jump Operator 77 §7. An Interpolation Theorem for Recursively Enumerable Degrees . .117 §8. Minimal Upper Bounds for Sequences of Degrees 123 §9. Minimal Degrees 135 §10. Measure theoretic, Category and Descriptive Set theoretic Arguments 153 §11. Initial segments of Degrees 163 §12. Further Results and Conjectures 169 BIBLIOGRAPHY 173 ix
any_adam_object	1
author	Sacks, Gerald E. 1933-2019
author_GND	(DE-588)128780770
author_facet	Sacks, Gerald E. 1933-2019
author_role	aut
author_sort	Sacks, Gerald E. 1933-2019
author_variant	g e s ge ges
building	Verbundindex
bvnumber	BV002900253
callnumber-first	Q - Science
callnumber-label	QA248
callnumber-raw	QA248.5
callnumber-search	QA248.5
callnumber-sort	QA 3248.5
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SI 830
ctrlnum	(OCoLC)400090 (DE-599)BVBBV002900253
dewey-full	517.5
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	517 - [Unassigned]
dewey-raw	517.5
dewey-search	517.5
dewey-sort	3517.5
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
edition	2. ed.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01851nam a2200481 cb4500</leader><controlfield tag="001">BV002900253</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190820 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1966 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)400090</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002900253</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">517.5</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 830</subfield><subfield code="0">(DE-625)143195:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sacks, Gerald E.</subfield><subfield code="d">1933-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128780770</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Degrees of unsolvability</subfield><subfield code="c">by Gerald E. Sacks</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ</subfield><subfield code="b">Princeton Univ. Press</subfield><subfield code="c">1966</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 174 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Annals of mathematics studies</subfield><subfield code="v">55</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions récursives</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Non-résolubilité (logique mathématique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Récursivité, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unlösbarkeit</subfield><subfield code="0">(DE-588)4426195-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Unlösbarkeit</subfield><subfield code="0">(DE-588)4426195-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4008-8184-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Annals of mathematics studies</subfield><subfield code="v">55</subfield><subfield code="w">(DE-604)BV000000991</subfield><subfield code="9">55</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001816226&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nvmb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001816226</subfield></datafield></record></collection>
id	DE-604.BV002900253
illustrated	Not Illustrated
indexdate	2024-07-09T15:50:33Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-001816226
oclc_num	400090
open_access_boolean
owner	DE-384 DE-91G DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-824 DE-20 DE-703 DE-83 DE-188
owner_facet	DE-384 DE-91G DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-824 DE-20 DE-703 DE-83 DE-188
physical	IX, 174 S.
psigel	TUB-nvmb
publishDate	1966
publishDateSearch	1966
publishDateSort	1966
publisher	Princeton Univ. Press
record_format	marc
series	Annals of mathematics studies
series2	Annals of mathematics studies
spelling	Sacks, Gerald E. 1933-2019 Verfasser (DE-588)128780770 aut Degrees of unsolvability by Gerald E. Sacks 2. ed. Princeton, NJ Princeton Univ. Press 1966 IX, 174 S. txt rdacontent n rdamedia nc rdacarrier Annals of mathematics studies 55 Fonctions récursives ram Non-résolubilité (logique mathématique) ram Récursivité, Théorie de la ram Recursive functions Unlösbarkeit (DE-588)4426195-0 gnd rswk-swf Rekursive Funktion (DE-588)4138367-9 gnd rswk-swf Unlösbarkeit (DE-588)4426195-0 s DE-604 Rekursive Funktion (DE-588)4138367-9 s Erscheint auch als Online-Ausgabe 978-1-4008-8184-0 Annals of mathematics studies 55 (DE-604)BV000000991 55 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001816226&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Sacks, Gerald E. 1933-2019 Degrees of unsolvability Annals of mathematics studies Fonctions récursives ram Non-résolubilité (logique mathématique) ram Récursivité, Théorie de la ram Recursive functions Unlösbarkeit (DE-588)4426195-0 gnd Rekursive Funktion (DE-588)4138367-9 gnd
subject_GND	(DE-588)4426195-0 (DE-588)4138367-9
title	Degrees of unsolvability
title_auth	Degrees of unsolvability
title_exact_search	Degrees of unsolvability
title_full	Degrees of unsolvability by Gerald E. Sacks
title_fullStr	Degrees of unsolvability by Gerald E. Sacks
title_full_unstemmed	Degrees of unsolvability by Gerald E. Sacks
title_short	Degrees of unsolvability
title_sort	degrees of unsolvability
topic	Fonctions récursives ram Non-résolubilité (logique mathématique) ram Récursivité, Théorie de la ram Recursive functions Unlösbarkeit (DE-588)4426195-0 gnd Rekursive Funktion (DE-588)4138367-9 gnd
topic_facet	Fonctions récursives Non-résolubilité (logique mathématique) Récursivité, Théorie de la Recursive functions Unlösbarkeit Rekursive Funktion
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001816226&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000991
work_keys_str_mv	AT sacksgeralde degreesofunsolvability

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items