Einführung in die Mengenlehre:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Mannheim [u.a.]
BI-Wiss.-Verl.
1994
|
Ausgabe: | 3., vollst. überarb. und erw. Aufl. |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XIII, 236 S. |
ISBN: | 3411171138 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV009676032 | ||
003 | DE-604 | ||
005 | 20141218 | ||
007 | t | ||
008 | 940620s1994 gw |||| 00||| ger d | ||
016 | 7 | |a 941340767 |2 DE-101 | |
020 | |a 3411171138 |9 3-411-17113-8 | ||
035 | |a (OCoLC)75470851 | ||
035 | |a (DE-599)BVBBV009676032 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
049 | |a DE-20 |a DE-703 |a DE-29 |a DE-29T |a DE-19 |a DE-91 |a DE-473 |a DE-739 |a DE-824 |a DE-898 |a DE-155 |a DE-210 |a DE-521 |a DE-634 |a DE-188 | ||
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 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 3., vollst. überarb. und erw. Aufl. | ||
264 | 1 | |a Mannheim [u.a.] |b BI-Wiss.-Verl. |c 1994 | |
300 | |a XIII, 236 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |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 | |5 DE-604 | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006399661&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-006399661 |
Datensatz im Suchindex
_version_ | 1804124021723234304 |
---|---|
adam_text | EINFUEHRUNG
IN DIE MENGENLEHRE
VON
PROF. DR. HEINZ-DIETER EBBINGHAUS
UNIVERSITAET FREIBURG
3., VOLLSTAENDIG UEBERARBEITETE
UND ERWEITERTE AUFLAGE
WISSENSCHAFTSVERLAG
MANNHEIM * LEIPZIG * WIEN * ZUERICH
INHALTSVERZEICHNIS
I EINLEITUNG 1
§1 DER NAIVE MENGENBEGRIFF 1
§2 DIE BEDEUTUNG DER MENGENLEHRE FUER DIE MATHEMATIK .... 5
§3 EIN GESCHICHTLICHER RUECKBLICK 7
§4 ZUR TRAGWEITE MENGENTHEORETISCHER AXIOMENSYSTEME .... 14
II DER RAHMEN DER DARSTELLUNG 17
§1 DIE MENGENTHEORETISCHE SPRACHE 18
§2 PRAEDIKATE, OPERATIONEN UND KLASSEN 22
III DAS ZERMELO-FRAENKELSCHE AXIOMENSYSTEM 29
§1 EXTENSIONALITAET UND AUSSONDERUNG 29
§2 AXIOME DER MENGENVEREINIGUNG 35
§3 DAS POTENZMENGENAXIOM. EINE METHODOLOGISCHE
BETRACHTUNG 39
§4 DAS UNENDLICHKEITSAXIOM 44
§5 ERSETZUNG 47
§6 DAS FUNDIERUNGSAXIOM 49
§7 DAS AUSWAHLAXIOM 50
XLL INHALTSVERZEICHNIS
IV RELATIONEN UND FUNKTIONEN 53
§1 RELATIONEN 53
§2 FUNKTIONEN UND FAMILIEN 61
V NATUERLICHE ZAHLEN UND ZAHLBEREICHE 71
§1 NATUERLICHE ZAHLEN UND PEANO-STRUKTUREN 71
§2 REKURSIONEN UEBER CO 79
§3 ENDLICHE MENGEN 84
§4 ZAHLBEREICHE 89
VI FUNDIERTE STRUKTUREN UND ORDINALZAHLEN 93
§1 FUNDIERTE STRUKTUREN UND WOHLORDNUNGEN 93
§2 ORDINALZAHLEN 97
§3 ES GIBT VIELE ORDINALZAHLEN 104
VII REKURSIONEN UND FUNDIERTHEIT 107
§1 DAS LOKALE REKURSIONSTHEOREM 107
§2 DAS GLOBALE REKURSIONSTHEOREM 112
§3 DIE VON NEUMANNSCHE HIERARCHIE UND DAS
FUNDIERUNGSAXIOM 115
VIII DAS AUSWAHLAXIOM 121
§1 DAS AXIOM 121
§2 DER WOHLORDNUNGSSATZ 125
§3 DAS ZORNSCHE LEMMA 127
IX MAECHTIGKEITEN 131
§1 DER VERGLEICH VON MAECHTIGKEITEN 131
§2 KARDINALZAHLEN 138
INHALTSVERZEICHNIS
X1UE
§3 KOFINALITAET UND EXPONENTIATION 145
§4 DIE KONTINUUMSHYPOTHESE 151
X DAS UNIVERSUM ALS KUMULATIVE HIERARCHIE 163
§1 RELATIVIERUNGEN UND ABSOLUTHEIT 164
§2 DAS REFLEKTIONSPRINZIP 170
§3 DAS SCOTTSCHE AXIOMENSYSTEM DER MENGENLEHRE 177
XI METAMATHEMATISCHE FRAGESTELLUNGEN 187
§1 WIDERSPRUCHSFREIHEIT UND RELATIVE WIDERSPRUCHSFREIHEIT... 189
§2 UNVOLLSTAENDIGKEIT 197
§3 EINIGE ERKENNTNISTHEORETISCHE BEMERKUNGEN 201
ANHANG: ZUM VERHAELTNIS VON ZF UND NBG 206
§1 DAS AXIOMENSYSTEM NBG 206
§2 DIE GLEICHWERTIGKEIT VON ZF UND NBG 213
LISTE DER AXIOME 219
RATURVERZEICHNIS 221
NBOLVERZEICHNIS 224
IAMEN- UND SACHVERZEICHNIS 227
|
any_adam_object | 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 | BV009676032 |
classification_rvk | SK 150 SK 155 |
classification_tum | MAT 040f |
ctrlnum | (OCoLC)75470851 (DE-599)BVBBV009676032 |
discipline | Mathematik |
edition | 3., vollst. überarb. und erw. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01522nam a2200385 c 4500</leader><controlfield tag="001">BV009676032</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141218 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940620s1994 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941340767</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3411171138</subfield><subfield code="9">3-411-17113-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75470851</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009676032</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</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">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">3., vollst. überarb. und erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Mannheim [u.a.]</subfield><subfield code="b">BI-Wiss.-Verl.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 236 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="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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=006399661&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-006399661</subfield></datafield></record></collection> |
genre | (DE-588)4151278-9 Einführung gnd-content |
genre_facet | Einführung |
id | DE-604.BV009676032 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T17:39:03Z |
institution | BVB |
isbn | 3411171138 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006399661 |
oclc_num | 75470851 |
open_access_boolean | |
owner | DE-20 DE-703 DE-29 DE-29T DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-824 DE-898 DE-BY-UBR DE-155 DE-BY-UBR DE-210 DE-521 DE-634 DE-188 |
owner_facet | DE-20 DE-703 DE-29 DE-29T DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-824 DE-898 DE-BY-UBR DE-155 DE-BY-UBR DE-210 DE-521 DE-634 DE-188 |
physical | XIII, 236 S. |
publishDate | 1994 |
publishDateSearch | 1994 |
publishDateSort | 1994 |
publisher | BI-Wiss.-Verl. |
record_format | marc |
spelling | Ebbinghaus, Heinz-Dieter 1939- Verfasser (DE-588)107046857 aut Einführung in die Mengenlehre von Heinz-Dieter Ebbinghaus 3., vollst. überarb. und erw. Aufl. Mannheim [u.a.] BI-Wiss.-Verl. 1994 XIII, 236 S. txt rdacontent n rdamedia nc rdacarrier Mengenlehre (DE-588)4074715-3 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mengenlehre (DE-588)4074715-3 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006399661&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Ebbinghaus, Heinz-Dieter 1939- Einführung in die Mengenlehre Mengenlehre (DE-588)4074715-3 gnd |
subject_GND | (DE-588)4074715-3 (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_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 | Mengenlehre (DE-588)4074715-3 gnd |
topic_facet | Mengenlehre Einführung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006399661&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT ebbinghausheinzdieter einfuhrungindiemengenlehre |