Forcing and classifying topoi:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Providence, R.I.
American Mathematical Society
1984
|
| Series: | American Mathematical Society: Memoirs of the American Mathematical Society
Number 295 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Volume 48, Number 295 (first of 4 numbers) Zugl.: Buffalo, Univ., Diss., 1981 |
| Physical Description: | X, 93 S. |
| ISBN: | 0821822942 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000243098 | ||
| 003 | DE-604 | ||
| 005 | 20230608 | ||
| 007 | t | ||
| 008 | 870612s1984 m||| 00||| eng d | ||
| 020 | |a 0821822942 |9 0-8218-2294-2 | ||
| 035 | |a (OCoLC)10299941 | ||
| 035 | |a (DE-599)BVBBV000243098 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-384 |a DE-739 |a DE-355 |a DE-824 |a DE-29T |a DE-19 |a DE-91G |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 512/.55 |2 19 | |
| 082 | 0 | |a 510 |2 19 | |
| 084 | |a SI 130 |0 (DE-625)143082: |2 rvk | ||
| 084 | |a 03G30 |2 msc | ||
| 084 | |a 18D30 |2 msc | ||
| 084 | |a 18B25 |2 msc | ||
| 084 | |a 03F50 |2 msc | ||
| 084 | |a 03E35 |2 msc | ||
| 100 | 1 | |a Ščedrov, Andrej |d 1955- |e Verfasser |0 (DE-588)172477875 |4 aut | |
| 245 | 1 | 0 | |a Forcing and classifying topoi |c Andrej Ščedrov |
| 264 | 1 | |a Providence, R.I. |b American Mathematical Society |c 1984 | |
| 300 | |a X, 93 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a American Mathematical Society: Memoirs of the American Mathematical Society |v Number 295 | |
| 500 | |a Volume 48, Number 295 (first of 4 numbers) | ||
| 500 | |a Zugl.: Buffalo, Univ., Diss., 1981 | ||
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Forcing (Model theory) | |
| 650 | 4 | |a Toposes | |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Topos |0 (DE-588)4127974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Forcing |0 (DE-588)4154978-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Topos |g Mathematik |0 (DE-588)4185717-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorie |0 (DE-588)4131967-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Forcing |0 (DE-588)4154978-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Topos |g Mathematik |0 (DE-588)4185717-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Topos |0 (DE-588)4127974-8 |D s |
| 689 | 2 | 1 | |a Kategorie |0 (DE-588)4131967-9 |D s |
| 689 | 2 | 2 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 2 | |5 DE-604 | |
| 830 | 0 | |a American Mathematical Society: Memoirs of the American Mathematical Society |v Number 295 |w (DE-604)BV008000141 |9 295 | |
| 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=000146152&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000146152 | ||
Record in the Search Index
| _version_ | 1804114706225430528 |
|---|---|
| adam_text | Table of Contents
Introduction vi
0. Preliminaries 1
1. Forcing and Classifying Topoi 11
1.1. Category of Forcing Conditions as a Category of Models 11
1.2. Partially Ordered Sets vs. Distributive Lattices 17
2. More Geometric Forcing: Continuous Actions 27
2.1. On Infinite Sets 28
2.2. A Generic Dense Linear Ordering 31
2.3. Separable Closure of a Field 33
3. Forcing in Set Theory 37
3.1. it topology 37
3.2. Fibred Categories and Iterated Forcing 45
4. Applications to Intuitionistic Theories 62
4.1. Classifying Infinite Sequences 62
4.2. Spoiling Local Compactness of the Reals 70
4.3. Making Baire Space Subcountable 77
4.4. Independence of Bar Induction in the Presence of
Continuity Principles 83
References 89
|
| any_adam_object | 1 |
| author | Ščedrov, Andrej 1955- |
| author_GND | (DE-588)172477875 |
| author_facet | Ščedrov, Andrej 1955- |
| author_role | aut |
| author_sort | Ščedrov, Andrej 1955- |
| author_variant | a š aš |
| building | Verbundindex |
| bvnumber | BV000243098 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 130 |
| ctrlnum | (OCoLC)10299941 (DE-599)BVBBV000243098 |
| dewey-full | 512/.55 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra 510 - Mathematics |
| dewey-raw | 512/.55 510 |
| dewey-search | 512/.55 510 |
| dewey-sort | 3512 255 |
| 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>02444nam a2200625 cb4500</leader><controlfield tag="001">BV000243098</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230608 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1984 m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821822942</subfield><subfield code="9">0-8218-2294-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)10299941</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000243098</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512/.55</subfield><subfield code="2">19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 130</subfield><subfield code="0">(DE-625)143082:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03G30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">18D30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">18B25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F50</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E35</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ščedrov, Andrej</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172477875</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Forcing and classifying topoi</subfield><subfield code="c">Andrej Ščedrov</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, R.I.</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 93 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">American Mathematical Society: Memoirs of the American Mathematical Society</subfield><subfield code="v">Number 295</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Volume 48, Number 295 (first of 4 numbers)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Buffalo, Univ., Diss., 1981</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Forcing (Model theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Toposes</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topos</subfield><subfield code="0">(DE-588)4127974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Forcing</subfield><subfield code="0">(DE-588)4154978-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topos</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4185717-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="0">(DE-588)4131967-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Forcing</subfield><subfield code="0">(DE-588)4154978-8</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">Topos</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4185717-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Topos</subfield><subfield code="0">(DE-588)4127974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Kategorie</subfield><subfield code="0">(DE-588)4131967-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">American Mathematical Society: Memoirs of the American Mathematical Society</subfield><subfield code="v">Number 295</subfield><subfield code="w">(DE-604)BV008000141</subfield><subfield code="9">295</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=000146152&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-000146152</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV000243098 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:10:59Z |
| institution | BVB |
| isbn | 0821822942 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000146152 |
| oclc_num | 10299941 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29T DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-706 DE-83 DE-188 |
| owner_facet | DE-12 DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29T DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-706 DE-83 DE-188 |
| physical | X, 93 S. |
| publishDate | 1984 |
| publishDateSearch | 1984 |
| publishDateSort | 1984 |
| publisher | American Mathematical Society |
| record_format | marc |
| series | American Mathematical Society: Memoirs of the American Mathematical Society |
| series2 | American Mathematical Society: Memoirs of the American Mathematical Society |
| spelling | Ščedrov, Andrej 1955- Verfasser (DE-588)172477875 aut Forcing and classifying topoi Andrej Ščedrov Providence, R.I. American Mathematical Society 1984 X, 93 S. txt rdacontent n rdamedia nc rdacarrier American Mathematical Society: Memoirs of the American Mathematical Society Number 295 Volume 48, Number 295 (first of 4 numbers) Zugl.: Buffalo, Univ., Diss., 1981 Categories (Mathematics) Forcing (Model theory) Toposes Modelltheorie (DE-588)4114617-7 gnd rswk-swf Topos (DE-588)4127974-8 gnd rswk-swf Forcing (DE-588)4154978-8 gnd rswk-swf Topos Mathematik (DE-588)4185717-3 gnd rswk-swf Kategorie (DE-588)4131967-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Forcing (DE-588)4154978-8 s DE-604 Topos Mathematik (DE-588)4185717-3 s Topos (DE-588)4127974-8 s Kategorie (DE-588)4131967-9 s Modelltheorie (DE-588)4114617-7 s American Mathematical Society: Memoirs of the American Mathematical Society Number 295 (DE-604)BV008000141 295 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000146152&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ščedrov, Andrej 1955- Forcing and classifying topoi American Mathematical Society: Memoirs of the American Mathematical Society Categories (Mathematics) Forcing (Model theory) Toposes Modelltheorie (DE-588)4114617-7 gnd Topos (DE-588)4127974-8 gnd Forcing (DE-588)4154978-8 gnd Topos Mathematik (DE-588)4185717-3 gnd Kategorie (DE-588)4131967-9 gnd |
| subject_GND | (DE-588)4114617-7 (DE-588)4127974-8 (DE-588)4154978-8 (DE-588)4185717-3 (DE-588)4131967-9 (DE-588)4113937-9 |
| title | Forcing and classifying topoi |
| title_auth | Forcing and classifying topoi |
| title_exact_search | Forcing and classifying topoi |
| title_full | Forcing and classifying topoi Andrej Ščedrov |
| title_fullStr | Forcing and classifying topoi Andrej Ščedrov |
| title_full_unstemmed | Forcing and classifying topoi Andrej Ščedrov |
| title_short | Forcing and classifying topoi |
| title_sort | forcing and classifying topoi |
| topic | Categories (Mathematics) Forcing (Model theory) Toposes Modelltheorie (DE-588)4114617-7 gnd Topos (DE-588)4127974-8 gnd Forcing (DE-588)4154978-8 gnd Topos Mathematik (DE-588)4185717-3 gnd Kategorie (DE-588)4131967-9 gnd |
| topic_facet | Categories (Mathematics) Forcing (Model theory) Toposes Modelltheorie Topos Forcing Topos Mathematik Kategorie Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000146152&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008000141 |
| work_keys_str_mv | AT scedrovandrej forcingandclassifyingtopoi |