Verfügbarkeit: Computability theory and its applications

Computability theory and its applications: current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Providence, RI American Math. Soc. 2000
Schriftenreihe:	Contemporary mathematics 257
Schlagworte:	Fonctions calculables - Congrès Logica matematica Recursieve functies Computable functions > Congresses Berechenbare Funktion Konferenzschrift > 1999 > Boulder Colo.
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XVI, 320 S.
ISBN:	0821819224

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV013285983
003	DE-604
005	20010403
007	t
008	000803s2000 \|\|\|\| 10\|\|\| eng d
020			\|a 0821819224 \|9 0-8218-1922-4
035			\|a (OCoLC)43884597
035			\|a (DE-599)BVBBV013285983
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-355 \|a DE-739 \|a DE-91G
050		0	\|a QA9.59.
082	0		\|a 511.3 \|2 21
084			\|a SI 805 \|0 (DE-625)143193: \|2 rvk
084			\|a DAT 542f \|2 stub
084			\|a DAT 005f \|2 stub
245	1	0	\|a Computability theory and its applications \|b current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder \|c Peter A. Cholak ... ed.
264		1	\|a Providence, RI \|b American Math. Soc. \|c 2000
300			\|a XVI, 320 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Contemporary mathematics \|v 257
650		4	\|a Fonctions calculables - Congrès
650		7	\|a Fonctions calculables - Congrès \|2 ram
650		7	\|a Logica matematica \|2 larpcal
650		7	\|a Recursieve functies \|2 gtt
650		4	\|a Computable functions \|v Congresses
650	0	7	\|a Berechenbare Funktion \|0 (DE-588)4135762-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1999 \|z Boulder Colo. \|2 gnd-content
689	0	0	\|a Berechenbare Funktion \|0 (DE-588)4135762-0 \|D s
689	0		\|5 DE-604
700	1		\|a Cholak, Peter A. \|e Sonstige \|4 oth
710	2		\|a American Mathematical Society \|e Sonstige \|0 (DE-588)6924-3 \|4 oth
711	2		\|a Joint Summer Research Conference Computability Theory and Applications \|d 1999 \|c Boulder, Colo. \|j Sonstige \|0 (DE-588)1602830-2 \|4 oth
830		0	\|a Contemporary mathematics \|v 257 \|w (DE-604)BV000003365 \|9 257
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=009057983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-009057983

Datensatz im Suchindex

_version_	1804128053764292608
adam_text	Contents Preface ix Program of invited talks xi Conference participants xii Randomness in computability theory Klaus Ambos Spies and Antonin Kucera 1 Open questions about the n c.e. degrees Marat Arslanov 15 The theory of numberings: Open problems Serikzhan Badaev and Sergey Goncharov 23 Iiy classes — structure and applications Douglas Cenzer and Carl G. Jockusch, Jr. 39 The global structure of computably enumerable sets Peter A. Cholak 61 Computability theory in arithmetic: Provability, structure and techniques C. T. Chong and Yue Yang 73 How many Turing degrees are there? Randall Dougherty and Alexander S. Kechris 83 Questions in computable algebra and combinatorics Rod Downey and J. B. Remmel 95 Issues and problems in reverse mathematics Harvey Friedman and Stephen G. Simpson 127 Open problems in the theory of constructive algebraic systems Sergey Goncharov and Bakhadyr Khoussainov 145 Independence results from ZFC in computability theory: Some open problems Marcia Groszek 171 Problems related to arithmetic Julia F. Knight 181 vii viii CONTENTS Embeddings into the computably enumerable degrees Manuel Lerman 191 Definability in the c.e. degrees: Questions and results Andre Nies 207 Strong reducibilities, again PlERGIORGIO ODIFREDDI 215 Finitely axiomatizable theories and Lindenbaum algebras of semantic classes Mikhail Peretyat kin 221 Towards an analog of Hilbert s tenth problem for a number field Alexandra Shlapentokh 241 Natural definability in degree structures Richard A. Shore 255 Recursion theory in set theory Theodore A. Slaman 273 Extensions, automorphisms, and definability Robert I. Soare 279 Open problems in the enumeration degrees Andrea Sorbi 309
any_adam_object	1
building	Verbundindex
bvnumber	BV013285983
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.59.
callnumber-search	QA9.59.
callnumber-sort	QA 19.59
callnumber-subject	QA - Mathematics
classification_rvk	SI 805
classification_tum	DAT 542f DAT 005f
ctrlnum	(OCoLC)43884597 (DE-599)BVBBV013285983
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02145nam a2200481 cb4500</leader><controlfield tag="001">BV013285983</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010403 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000803s2000 \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821819224</subfield><subfield code="9">0-8218-1922-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)43884597</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013285983</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.59.</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 805</subfield><subfield code="0">(DE-625)143193:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 005f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computability theory and its applications</subfield><subfield code="b">current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder</subfield><subfield code="c">Peter A. Cholak ... ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, RI</subfield><subfield code="b">American Math. Soc.</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 320 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">Contemporary mathematics</subfield><subfield code="v">257</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions calculables - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions calculables - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursieve functies</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbare Funktion</subfield><subfield code="0">(DE-588)4135762-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1999</subfield><subfield code="z">Boulder Colo.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechenbare Funktion</subfield><subfield code="0">(DE-588)4135762-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cholak, Peter A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">American Mathematical Society</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)6924-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Joint Summer Research Conference Computability Theory and Applications</subfield><subfield code="d">1999</subfield><subfield code="c">Boulder, Colo.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1602830-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Contemporary mathematics</subfield><subfield code="v">257</subfield><subfield code="w">(DE-604)BV000003365</subfield><subfield code="9">257</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=009057983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009057983</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1999 Boulder Colo. gnd-content
genre_facet	Konferenzschrift 1999 Boulder Colo.
id	DE-604.BV013285983
illustrated	Not Illustrated
indexdate	2024-07-09T18:43:08Z
institution	BVB
institution_GND	(DE-588)6924-3 (DE-588)1602830-2
isbn	0821819224
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009057983
oclc_num	43884597
open_access_boolean
owner	DE-355 DE-BY-UBR DE-739 DE-91G DE-BY-TUM
owner_facet	DE-355 DE-BY-UBR DE-739 DE-91G DE-BY-TUM
physical	XVI, 320 S.
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	American Math. Soc.
record_format	marc
series	Contemporary mathematics
series2	Contemporary mathematics
spelling	Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder Peter A. Cholak ... ed. Providence, RI American Math. Soc. 2000 XVI, 320 S. txt rdacontent n rdamedia nc rdacarrier Contemporary mathematics 257 Fonctions calculables - Congrès Fonctions calculables - Congrès ram Logica matematica larpcal Recursieve functies gtt Computable functions Congresses Berechenbare Funktion (DE-588)4135762-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Boulder Colo. gnd-content Berechenbare Funktion (DE-588)4135762-0 s DE-604 Cholak, Peter A. Sonstige oth American Mathematical Society Sonstige (DE-588)6924-3 oth Joint Summer Research Conference Computability Theory and Applications 1999 Boulder, Colo. Sonstige (DE-588)1602830-2 oth Contemporary mathematics 257 (DE-604)BV000003365 257 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009057983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder Contemporary mathematics Fonctions calculables - Congrès Fonctions calculables - Congrès ram Logica matematica larpcal Recursieve functies gtt Computable functions Congresses Berechenbare Funktion (DE-588)4135762-0 gnd
subject_GND	(DE-588)4135762-0 (DE-588)1071861417
title	Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder
title_auth	Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder
title_exact_search	Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder
title_full	Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder Peter A. Cholak ... ed.
title_fullStr	Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder Peter A. Cholak ... ed.
title_full_unstemmed	Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder Peter A. Cholak ... ed.
title_short	Computability theory and its applications
title_sort	computability theory and its applications current trends and open problems proceedings of a 1999 ams ims siam joint summer research conference computability theory and applications june 13 17 1999 university of colorado boulder
title_sub	current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applications June 13 - 17, 1999, University of Colorado, Boulder
topic	Fonctions calculables - Congrès Fonctions calculables - Congrès ram Logica matematica larpcal Recursieve functies gtt Computable functions Congresses Berechenbare Funktion (DE-588)4135762-0 gnd
topic_facet	Fonctions calculables - Congrès Logica matematica Recursieve functies Computable functions Congresses Berechenbare Funktion Konferenzschrift 1999 Boulder Colo.
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009057983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000003365
work_keys_str_mv	AT cholakpetera computabilitytheoryanditsapplicationscurrenttrendsandopenproblemsproceedingsofa1999amsimssiamjointsummerresearchconferencecomputabilitytheoryandapplicationsjune13171999universityofcoloradoboulder AT americanmathematicalsociety computabilitytheoryanditsapplicationscurrenttrendsandopenproblemsproceedingsofa1999amsimssiamjointsummerresearchconferencecomputabilitytheoryandapplicationsjune13171999universityofcoloradoboulder AT jointsummerresearchconferencecomputabilitytheoryandapplicationsbouldercolo computabilitytheoryanditsapplicationscurrenttrendsandopenproblemsproceedingsofa1999amsimssiamjointsummerresearchconferencecomputabilitytheoryandapplicationsjune13171999universityofcoloradoboulder

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge