Algebraic set theory:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
1995
|
| Edition: | 1. publ. |
| Series: | London Mathematical Society: London Mathematical Society lecture note series
220 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 123 S. |
| ISBN: | 0521558301 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010528405 | ||
| 003 | DE-604 | ||
| 005 | 20130114 | ||
| 007 | t | ||
| 008 | 951215s1995 |||| 00||| eng d | ||
| 020 | |a 0521558301 |9 0-521-55830-1 | ||
| 035 | |a (OCoLC)246645186 | ||
| 035 | |a (DE-599)BVBBV010528405 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-12 |a DE-91G |a DE-739 |a DE-29T |a DE-384 |a DE-355 |a DE-11 |a DE-19 | ||
| 082 | 0 | |a 511.322 | |
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a MAT 040f |2 stub | ||
| 100 | 1 | |a Joyal, André |d 1943- |e Verfasser |0 (DE-588)1029672423 |4 aut | |
| 245 | 1 | 0 | |a Algebraic set theory |c A. Joyal ; I. Moerdijk |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 1995 | |
| 300 | |a VIII, 123 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a London Mathematical Society: London Mathematical Society lecture note series |v 220 | |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenalgebra |0 (DE-588)4373955-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | 1 | |a Mengenalgebra |0 (DE-588)4373955-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mengenalgebra |0 (DE-588)4373955-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Moerdijk, Ieke |e Verfasser |4 aut | |
| 830 | 0 | |a London Mathematical Society: London Mathematical Society lecture note series |v 220 |w (DE-604)BV000000130 |9 220 | |
| 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=007017550&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007017550 | ||
Record in the Search Index
| _version_ | 1804124996172251136 |
|---|---|
| adam_text | Contents
Preface vii
Introduction 1
I Axiomatic Theory of Small Maps 7
§1 Axioms for small maps 7
§2 Representable structures 11
§3 Power sets 16
§4 Complete sup lattices 22
§5 Appendix: Uniqueness of universal small maps 24
II Zermelo Fraenkel Algebras 29
§1 Free Zermelo Fraenkel algebras 29
§2 Ordinal numbers 38
§3 Von Neumann ordinals 46
§4 The Tarski fixed point theorem 54
§5 Axioms for set theory 59
III Existence Theorems 67
§1 Open maps and (bi )simulations 67
§2 Forests 71
§3 Height functions 74
§4 Construction of V and 0 77
§5 Construction of Tarski ordinals 81
§6 Simulation for Von Neumann ordinals 83
IV Examples 87
§1 Sets and classes 87
§2 Kuratowski finite maps 88
§3 Sheaves on a site 89
§4 Realizability 92
v
vi
§5 Choice maps 96
Appendix A. Monads and algebras with successor 101
Appendix B. Heyting pretopoi 109
Appendix C. Descent 113
Bibliography 117
Index 120
|
| any_adam_object | 1 |
| author | Joyal, André 1943- Moerdijk, Ieke |
| author_GND | (DE-588)1029672423 |
| author_facet | Joyal, André 1943- Moerdijk, Ieke |
| author_role | aut aut |
| author_sort | Joyal, André 1943- |
| author_variant | a j aj i m im |
| building | Verbundindex |
| bvnumber | BV010528405 |
| classification_rvk | SI 320 SK 150 |
| classification_tum | MAT 040f |
| ctrlnum | (OCoLC)246645186 (DE-599)BVBBV010528405 |
| dewey-full | 511.322 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.322 |
| dewey-search | 511.322 |
| dewey-sort | 3511.322 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01798nam a2200445 cb4500</leader><controlfield tag="001">BV010528405</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130114 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951215s1995 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521558301</subfield><subfield code="9">0-521-55830-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246645186</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010528405</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-703</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.322</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</subfield><subfield code="2">rvk</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">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Joyal, André</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1029672423</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic set theory</subfield><subfield code="c">A. Joyal ; I. Moerdijk</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 123 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">London Mathematical Society: London Mathematical Society lecture note series</subfield><subfield code="v">220</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenalgebra</subfield><subfield code="0">(DE-588)4373955-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mengenalgebra</subfield><subfield code="0">(DE-588)4373955-6</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">Mengenalgebra</subfield><subfield code="0">(DE-588)4373955-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moerdijk, Ieke</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society: London Mathematical Society lecture note series</subfield><subfield code="v">220</subfield><subfield code="w">(DE-604)BV000000130</subfield><subfield code="9">220</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=007017550&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-007017550</subfield></datafield></record></collection> |
| id | DE-604.BV010528405 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:54:32Z |
| institution | BVB |
| isbn | 0521558301 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007017550 |
| oclc_num | 246645186 |
| open_access_boolean | |
| owner | DE-703 DE-12 DE-91G DE-BY-TUM DE-739 DE-29T DE-384 DE-355 DE-BY-UBR DE-11 DE-19 DE-BY-UBM |
| owner_facet | DE-703 DE-12 DE-91G DE-BY-TUM DE-739 DE-29T DE-384 DE-355 DE-BY-UBR DE-11 DE-19 DE-BY-UBM |
| physical | VIII, 123 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | London Mathematical Society: London Mathematical Society lecture note series |
| series2 | London Mathematical Society: London Mathematical Society lecture note series |
| spelling | Joyal, André 1943- Verfasser (DE-588)1029672423 aut Algebraic set theory A. Joyal ; I. Moerdijk 1. publ. Cambridge [u.a.] Cambridge Univ. Press 1995 VIII, 123 S. txt rdacontent n rdamedia nc rdacarrier London Mathematical Society: London Mathematical Society lecture note series 220 Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mengenalgebra (DE-588)4373955-6 gnd rswk-swf Mengenlehre (DE-588)4074715-3 s Mengenalgebra (DE-588)4373955-6 s DE-604 Moerdijk, Ieke Verfasser aut London Mathematical Society: London Mathematical Society lecture note series 220 (DE-604)BV000000130 220 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007017550&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Joyal, André 1943- Moerdijk, Ieke Algebraic set theory London Mathematical Society: London Mathematical Society lecture note series Mengenlehre (DE-588)4074715-3 gnd Mengenalgebra (DE-588)4373955-6 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4373955-6 |
| title | Algebraic set theory |
| title_auth | Algebraic set theory |
| title_exact_search | Algebraic set theory |
| title_full | Algebraic set theory A. Joyal ; I. Moerdijk |
| title_fullStr | Algebraic set theory A. Joyal ; I. Moerdijk |
| title_full_unstemmed | Algebraic set theory A. Joyal ; I. Moerdijk |
| title_short | Algebraic set theory |
| title_sort | algebraic set theory |
| topic | Mengenlehre (DE-588)4074715-3 gnd Mengenalgebra (DE-588)4373955-6 gnd |
| topic_facet | Mengenlehre Mengenalgebra |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007017550&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000130 |
| work_keys_str_mv | AT joyalandre algebraicsettheory AT moerdijkieke algebraicsettheory |