Einführung in die Mengenlehre:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Berlin
Springer Spektrum
[2021]
|
| Edition: | 5. Auflage |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | viii, 264 Seiten Diagramme |
| ISBN: | 9783662638651 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV047471012 | ||
| 003 | DE-604 | ||
| 005 | 20211110 | ||
| 007 | t | ||
| 008 | 210916s2021 |||| |||| 00||| ger d | ||
| 020 | |a 9783662638651 |c softcover |9 978-3-662-63865-1 | ||
| 035 | |a (OCoLC)1257410965 | ||
| 035 | |a (DE-599)BVBBV047471012 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-11 |a DE-739 |a DE-83 |a DE-473 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 100 | 1 | |a Ebbinghaus, Heinz-Dieter |d 1939- |e Verfasser |0 (DE-588)107046857 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die Mengenlehre |c von Heinz-Dieter Ebbinghaus |
| 250 | |a 5. Auflage | ||
| 264 | 1 | |a Berlin |b Springer Spektrum |c [2021] | |
| 264 | 4 | |c © 2021 | |
| 300 | |a viii, 264 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Axiomatische Mengenlehre |0 (DE-588)4143743-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grundlagenforschung |0 (DE-588)4131708-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | 1 | |a Grundlagenforschung |0 (DE-588)4131708-7 |D s |
| 689 | 0 | 2 | |a Axiomatische Mengenlehre |0 (DE-588)4143743-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-63866-8 |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032872672&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032872672 | ||
Record in the Search Index
| _version_ | 1804182782726897664 |
|---|---|
| adam_text | Inhaltsverzeichnis I Einleitung §1 §2 §3 §4 II V VI 47 Relationen ..........................................................................................47 Funktionen und Familien .................................................................55 Natürliche Zahlen und Zahlbereiche §1 §2 §3 §4 65 Natürliche Zahlen und Peano-Strukturen....................................... 65 Rekursionen über ω .......................................................................... 72 Endliche Mengen................................................................................ 77 Zahlbereiche .......................................................................................82 Fundierte Strukturen und Ordinalzahlen §1 §2 §3 25 Extensionalität und Aussonderung.................................................25 Axiome der Mengenvereinigung....................................................... 31 Das Potenzmengenaxiom. Eine methodologische Betrachtung . 34 Das Unendlichkeitsaxiom .................................................................38 Ersetzung.............................................................................................41 Das Fundierungsaxiom.......................................................................42 Das Auswahlaxiom............................................................................. 44 Relationen und Funktionen §1 §2 15 Die mengentheoretische Sprache....................................................... 16 Prädikate, Operationen und Klassen..............................................19 Das Zermelo-Fraenkelsche Axiomensystem §1
§2 §3 §4 §5 §6 §7 IV Der naive Mengenbegriff................................................................ 1 Die Bedeutung der Mengenlehre für die Mathematik.............. 4 Ein geschichtlicher Rückblick....................................................... 7 Zur Tragweite mengentheoretischer Axiomensysteme..................13 Der Rahmen der Darstellung §1 §2 III 1 85 Fundierte Strukturen und Wohlordnungen.................................... 85 Ordinalzahlen.......................................................................................89 Es gibt viele Ordinalzahlen............................................................. 96 vii
Inhaltsverzeichnis viii VII Rekursionen und Fundiertheit 99 §1 Das lokale Rekursionstheorem.......................................................... 99 §2 Das globale Rekursionstheorem..................................................... 103 §3 Die von Neumannsche Hierarchie und das Fundierungsaxiom . 107 VIII Das Auswahlaxiom 113 §1 Das Axiom........................................................................................ 113 §2 Der Wohlordnungssatz..................................................................... 117 §3 Das Zornsche Lemma ..................................................................... 119 IX Mächtigkeiten 123 §1 Der Vergleich von Mächtigkeiten.................................................. 123 §2 Kardinalzahlen..................................................................................130 §3 Kofinalität und Exponentiation..................................................... 136 §4 Die Kontinuumshypothese...............................................................142 X Das Universum als kumulative Hierarchie 153 §1 Relativierungen und Absolutheit..................................................154 §2 Das Reflektionsprinzip.....................................................................160 §3 Das Scottsche Axiomensystem der Mengenlehre.........................166 XI Metamathematische Fragestellungen 175 §1 Widerspruchsfreiheit und relative Widerspruchsfreiheit .... 177 §2 Die konstruktible Hierarchie - Ein Exkurs.................................. 182 §3
Unvollständigkeit.............................................................................. 194 §4 Erkenntnistheoretische Anmerkungen............................................198 XII Anhang: Zum Verhältnis von ZF und NBG 205 §1 Das Axiomensystem NBG ........................................................... 205 §2 Die Gleichwertigkeit von ZF und NBG..................................... 211 XIII Hinweise zur Lösung der Aufgaben 217 Liste der Axiome und Axiomensysteme 247 Literaturverzeichnis 249 Symbolverzeichnis 253 Namen- und Sachverzeichnis 257
|
| adam_txt |
Inhaltsverzeichnis I Einleitung §1 §2 §3 §4 II V VI 47 Relationen .47 Funktionen und Familien .55 Natürliche Zahlen und Zahlbereiche §1 §2 §3 §4 65 Natürliche Zahlen und Peano-Strukturen. 65 Rekursionen über ω . 72 Endliche Mengen. 77 Zahlbereiche .82 Fundierte Strukturen und Ordinalzahlen §1 §2 §3 25 Extensionalität und Aussonderung.25 Axiome der Mengenvereinigung. 31 Das Potenzmengenaxiom. Eine methodologische Betrachtung . 34 Das Unendlichkeitsaxiom .38 Ersetzung.41 Das Fundierungsaxiom.42 Das Auswahlaxiom. 44 Relationen und Funktionen §1 §2 15 Die mengentheoretische Sprache. 16 Prädikate, Operationen und Klassen.19 Das Zermelo-Fraenkelsche Axiomensystem §1
§2 §3 §4 §5 §6 §7 IV Der naive Mengenbegriff. 1 Die Bedeutung der Mengenlehre für die Mathematik. 4 Ein geschichtlicher Rückblick. 7 Zur Tragweite mengentheoretischer Axiomensysteme.13 Der Rahmen der Darstellung §1 §2 III 1 85 Fundierte Strukturen und Wohlordnungen. 85 Ordinalzahlen.89 Es gibt viele Ordinalzahlen. 96 vii
Inhaltsverzeichnis viii VII Rekursionen und Fundiertheit 99 §1 Das lokale Rekursionstheorem. 99 §2 Das globale Rekursionstheorem. 103 §3 Die von Neumannsche Hierarchie und das Fundierungsaxiom . 107 VIII Das Auswahlaxiom 113 §1 Das Axiom. 113 §2 Der Wohlordnungssatz. 117 §3 Das Zornsche Lemma . 119 IX Mächtigkeiten 123 §1 Der Vergleich von Mächtigkeiten. 123 §2 Kardinalzahlen.130 §3 Kofinalität und Exponentiation. 136 §4 Die Kontinuumshypothese.142 X Das Universum als kumulative Hierarchie 153 §1 Relativierungen und Absolutheit.154 §2 Das Reflektionsprinzip.160 §3 Das Scottsche Axiomensystem der Mengenlehre.166 XI Metamathematische Fragestellungen 175 §1 Widerspruchsfreiheit und relative Widerspruchsfreiheit . 177 §2 Die konstruktible Hierarchie - Ein Exkurs. 182 §3
Unvollständigkeit. 194 §4 Erkenntnistheoretische Anmerkungen.198 XII Anhang: Zum Verhältnis von ZF und NBG 205 §1 Das Axiomensystem NBG . 205 §2 Die Gleichwertigkeit von ZF und NBG. 211 XIII Hinweise zur Lösung der Aufgaben 217 Liste der Axiome und Axiomensysteme 247 Literaturverzeichnis 249 Symbolverzeichnis 253 Namen- und Sachverzeichnis 257 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Ebbinghaus, Heinz-Dieter 1939- |
| author_GND | (DE-588)107046857 |
| author_facet | Ebbinghaus, Heinz-Dieter 1939- |
| author_role | aut |
| author_sort | Ebbinghaus, Heinz-Dieter 1939- |
| author_variant | h d e hde |
| building | Verbundindex |
| bvnumber | BV047471012 |
| classification_rvk | SK 150 SK 155 |
| ctrlnum | (OCoLC)1257410965 (DE-599)BVBBV047471012 |
| 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 | Mathematik |
| discipline_str_mv | Mathematik |
| edition | 5. Auflage |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01857nam a2200457 c 4500</leader><controlfield tag="001">BV047471012</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211110 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">210916s2021 |||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662638651</subfield><subfield code="c">softcover</subfield><subfield code="9">978-3-662-63865-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1257410965</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047471012</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</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="100" ind1="1" ind2=" "><subfield code="a">Ebbinghaus, Heinz-Dieter</subfield><subfield code="d">1939-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107046857</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Mengenlehre</subfield><subfield code="c">von Heinz-Dieter Ebbinghaus</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5. Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer Spektrum</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 264 Seiten</subfield><subfield code="b">Diagramme</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="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</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">Axiomatische Mengenlehre</subfield><subfield code="0">(DE-588)4143743-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grundlagenforschung</subfield><subfield code="0">(DE-588)4131708-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</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">Grundlagenforschung</subfield><subfield code="0">(DE-588)4131708-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Axiomatische Mengenlehre</subfield><subfield code="0">(DE-588)4143743-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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-3-662-63866-8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</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=032872672&sequence=000001&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-032872672</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV047471012 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T18:09:12Z |
| indexdate | 2024-07-10T09:13:01Z |
| institution | BVB |
| isbn | 9783662638651 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032872672 |
| oclc_num | 1257410965 |
| open_access_boolean | |
| owner | DE-11 DE-739 DE-83 DE-473 DE-BY-UBG |
| owner_facet | DE-11 DE-739 DE-83 DE-473 DE-BY-UBG |
| physical | viii, 264 Seiten Diagramme |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Spektrum |
| record_format | marc |
| spelling | Ebbinghaus, Heinz-Dieter 1939- Verfasser (DE-588)107046857 aut Einführung in die Mengenlehre von Heinz-Dieter Ebbinghaus 5. Auflage Berlin Springer Spektrum [2021] © 2021 viii, 264 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Mathematical Logic and Foundations Mathematical logic Mengenlehre (DE-588)4074715-3 gnd rswk-swf Axiomatische Mengenlehre (DE-588)4143743-3 gnd rswk-swf Grundlagenforschung (DE-588)4131708-7 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mengenlehre (DE-588)4074715-3 s Grundlagenforschung (DE-588)4131708-7 s Axiomatische Mengenlehre (DE-588)4143743-3 s DE-604 Erscheint auch als Online-Ausgabe 978-3-662-63866-8 Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032872672&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ebbinghaus, Heinz-Dieter 1939- Einführung in die Mengenlehre Mathematical Logic and Foundations Mathematical logic Mengenlehre (DE-588)4074715-3 gnd Axiomatische Mengenlehre (DE-588)4143743-3 gnd Grundlagenforschung (DE-588)4131708-7 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4143743-3 (DE-588)4131708-7 (DE-588)4151278-9 |
| title | Einführung in die Mengenlehre |
| title_auth | Einführung in die Mengenlehre |
| title_exact_search | Einführung in die Mengenlehre |
| title_exact_search_txtP | Einführung in die Mengenlehre |
| title_full | Einführung in die Mengenlehre von Heinz-Dieter Ebbinghaus |
| title_fullStr | Einführung in die Mengenlehre von Heinz-Dieter Ebbinghaus |
| title_full_unstemmed | Einführung in die Mengenlehre von Heinz-Dieter Ebbinghaus |
| title_short | Einführung in die Mengenlehre |
| title_sort | einfuhrung in die mengenlehre |
| topic | Mathematical Logic and Foundations Mathematical logic Mengenlehre (DE-588)4074715-3 gnd Axiomatische Mengenlehre (DE-588)4143743-3 gnd Grundlagenforschung (DE-588)4131708-7 gnd |
| topic_facet | Mathematical Logic and Foundations Mathematical logic Mengenlehre Axiomatische Mengenlehre Grundlagenforschung Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032872672&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ebbinghausheinzdieter einfuhrungindiemengenlehre |