Recursive aspects of descriptive set theory:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York
Oxford Univ. Press [u.a.]
1985
|
| Schriftenreihe: | Oxford logic guides
11 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 144 S. graph. Darst. |
| ISBN: | 0195036026 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000289781 | ||
| 003 | DE-604 | ||
| 005 | 20150115 | ||
| 007 | t | ||
| 008 | 870612s1985 d||| |||| 00||| eng d | ||
| 020 | |a 0195036026 |9 0-19-503602-6 | ||
| 035 | |a (OCoLC)11442181 | ||
| 035 | |a (DE-599)BVBBV000289781 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-29T |a DE-19 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA248 | |
| 082 | 0 | |a 511.3/22 |2 19 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 084 | |a MAT 040f |2 stub | ||
| 100 | 1 | |a Mansfield, Richard |d 1941- |e Verfasser |0 (DE-588)173416772 |4 aut | |
| 245 | 1 | 0 | |a Recursive aspects of descriptive set theory |c Richard Mansfield ; Galen Weitkamp |
| 264 | 1 | |a New York |b Oxford Univ. Press [u.a.] |c 1985 | |
| 300 | |a VI, 144 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 11 | |
| 650 | 7 | |a Recursie |2 gtt | |
| 650 | 7 | |a Verzamelingen (wiskunde) |2 gtt | |
| 650 | 4 | |a Descriptive set theory | |
| 650 | 4 | |a Recursion theory | |
| 650 | 0 | 7 | |a Deskriptive Mengenlehre |0 (DE-588)4149180-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Deskriptive Mengenlehre |0 (DE-588)4149180-4 |D s |
| 689 | 0 | 1 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Weitkamp, Galen |e Verfasser |4 aut | |
| 830 | 0 | |a Oxford logic guides |v 11 |w (DE-604)BV000013997 |9 11 | |
| 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=000176274&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000176274 | ||
Datensatz im Suchindex
| _version_ | 1804114754386526208 |
|---|---|
| adam_text | Contents
Chapter 1. Some Definitions and Examples 1
Chapter 2. Borel Sets 19
Chapter 3. Normal Forms 32
Chapter 4. Hyperarithmetic Sets 45
Chapter 5. The Axiomatic System KP 60
Chapter 6. Perfect Sets 75
Chapter 7. The Axiom of Dcterminacy 88
Chapter 8. Equivalence Relations 108
Chapter 9. Bqo Theory and Fraisse s Conjecture
by Stephen G. Simpson 124
Bibliography 139
Index 143
|
| any_adam_object | 1 |
| author | Mansfield, Richard 1941- Weitkamp, Galen |
| author_GND | (DE-588)173416772 |
| author_facet | Mansfield, Richard 1941- Weitkamp, Galen |
| author_role | aut aut |
| author_sort | Mansfield, Richard 1941- |
| author_variant | r m rm g w gw |
| building | Verbundindex |
| bvnumber | BV000289781 |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 |
| callnumber-search | QA248 |
| callnumber-sort | QA 3248 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 150 SK 155 |
| classification_tum | MAT 040f |
| ctrlnum | (OCoLC)11442181 (DE-599)BVBBV000289781 |
| dewey-full | 511.3/22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/22 |
| dewey-search | 511.3/22 |
| dewey-sort | 3511.3 222 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01812nam a2200469 cb4500</leader><controlfield tag="001">BV000289781</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150115 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1985 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195036026</subfield><subfield code="9">0-19-503602-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)11442181</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000289781</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/22</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 155</subfield><subfield code="0">(DE-625)143219:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mansfield, Richard</subfield><subfield code="d">1941-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)173416772</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recursive aspects of descriptive set theory</subfield><subfield code="c">Richard Mansfield ; Galen Weitkamp</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Oxford Univ. Press [u.a.]</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 144 S.</subfield><subfield code="b">graph. Darst.</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">Oxford logic guides</subfield><subfield code="v">11</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verzamelingen (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Descriptive set theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursion theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deskriptive Mengenlehre</subfield><subfield code="0">(DE-588)4149180-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deskriptive Mengenlehre</subfield><subfield code="0">(DE-588)4149180-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</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">Weitkamp, Galen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">11</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">11</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=000176274&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-000176274</subfield></datafield></record></collection> |
| id | DE-604.BV000289781 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:11:45Z |
| institution | BVB |
| isbn | 0195036026 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000176274 |
| oclc_num | 11442181 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-29T DE-19 DE-BY-UBM DE-11 DE-188 |
| owner_facet | DE-12 DE-739 DE-29T DE-19 DE-BY-UBM DE-11 DE-188 |
| physical | VI, 144 S. graph. Darst. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | Oxford Univ. Press [u.a.] |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Mansfield, Richard 1941- Verfasser (DE-588)173416772 aut Recursive aspects of descriptive set theory Richard Mansfield ; Galen Weitkamp New York Oxford Univ. Press [u.a.] 1985 VI, 144 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 11 Recursie gtt Verzamelingen (wiskunde) gtt Descriptive set theory Recursion theory Deskriptive Mengenlehre (DE-588)4149180-4 gnd rswk-swf Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Deskriptive Mengenlehre (DE-588)4149180-4 s Rekursionstheorie (DE-588)4122329-9 s DE-604 Weitkamp, Galen Verfasser aut Oxford logic guides 11 (DE-604)BV000013997 11 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000176274&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mansfield, Richard 1941- Weitkamp, Galen Recursive aspects of descriptive set theory Oxford logic guides Recursie gtt Verzamelingen (wiskunde) gtt Descriptive set theory Recursion theory Deskriptive Mengenlehre (DE-588)4149180-4 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| subject_GND | (DE-588)4149180-4 (DE-588)4122329-9 |
| title | Recursive aspects of descriptive set theory |
| title_auth | Recursive aspects of descriptive set theory |
| title_exact_search | Recursive aspects of descriptive set theory |
| title_full | Recursive aspects of descriptive set theory Richard Mansfield ; Galen Weitkamp |
| title_fullStr | Recursive aspects of descriptive set theory Richard Mansfield ; Galen Weitkamp |
| title_full_unstemmed | Recursive aspects of descriptive set theory Richard Mansfield ; Galen Weitkamp |
| title_short | Recursive aspects of descriptive set theory |
| title_sort | recursive aspects of descriptive set theory |
| topic | Recursie gtt Verzamelingen (wiskunde) gtt Descriptive set theory Recursion theory Deskriptive Mengenlehre (DE-588)4149180-4 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| topic_facet | Recursie Verzamelingen (wiskunde) Descriptive set theory Recursion theory Deskriptive Mengenlehre Rekursionstheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000176274&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT mansfieldrichard recursiveaspectsofdescriptivesettheory AT weitkampgalen recursiveaspectsofdescriptivesettheory |