Theorien der reellen Zahlen und Interpretierbarkeit:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Buch |
Sprache: | German |
Veröffentlicht: |
Berlin
De Gruyter
[2016]
|
Schriftenreihe: | Logos
Band 25 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis Inhaltsverzeichnis |
Beschreibung: | VIII, 266 Seiten |
ISBN: | 311045856X 9783110458565 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV043419014 | ||
003 | DE-604 | ||
005 | 20160322 | ||
007 | t | ||
008 | 160301s2016 gw m||| 00||| ger d | ||
016 | 7 | |a 1077193505 |2 DE-101 | |
020 | |a 311045856X |9 3-11-045856-X | ||
020 | |a 9783110458565 |c Festeinband : EUR 102.80 (AT), EUR 99.95 (DE), GBP 74.99 (GB) (freier Pr.) |9 978-3-11-045856-5 | ||
035 | |a (OCoLC)953845192 | ||
035 | |a (DE-599)DNB1077193505 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-11 |a DE-19 |a DE-20 |a DE-70 | ||
082 | 0 | |a 512.786 |2 22/ger | |
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a 510 |2 sdnb | ||
100 | 1 | |a Alscher, Daniel |e Verfasser |0 (DE-588)1084641178 |4 aut | |
245 | 1 | 0 | |a Theorien der reellen Zahlen und Interpretierbarkeit |c Daniel Alscher |
264 | 1 | |a Berlin |b De Gruyter |c [2016] | |
264 | 4 | |c © 2016 | |
300 | |a VIII, 266 Seiten | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Logos |v Band 25 | |
502 | |b Dissertation |c Humboldt-Universität zu Berlin |d 2015 | ||
650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Reelle Zahl |0 (DE-588)4202628-3 |2 gnd |9 rswk-swf |
653 | |a Hilbert, David | ||
653 | |a solids | ||
653 | |a interpretation | ||
653 | |a algebra | ||
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Reelle Zahl |0 (DE-588)4202628-3 |D s |
689 | 0 | 1 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
689 | 0 | |5 DE-604 | |
710 | 2 | |a Walter de Gruyter GmbH & Co. KG |0 (DE-588)10095502-2 |4 pbl | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe, EPUB |z 978-3-11-045861-9 |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe, PDF |z 978-3-11-045919-7 |
830 | 0 | |a Logos |v Band 25 |w (DE-604)BV017090132 |9 25 | |
856 | 4 | 2 | |m B:DE-101 |q application/pdf |u http://d-nb.info/1077193505/04 |3 Inhaltsverzeichnis |
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=028837025&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-028837025 |
Datensatz im Suchindex
_version_ | 1804176011595612160 |
---|---|
adam_text | INHALT
EINLEITUNG 1
1 INTERPRETIERBARKEIT *15
1.1 RELATIVE INTERPRETIERBARKEIT *15
1.2 INTERPRETATIONEN VON KONSTANTEN- UND FUNKTIONSSYMBOLEN *
1.3 INTERPRETIERBARKEIT MEHRSORTIGER THEORIEN 22
1.4 MEHRDIMENSIONALE INTERPRETIERBARKEIT 26
1.4.1 ELIMINATION DER MEHRDIMENSIONALITAET DURCH KARTESISCHE
PRODUKTE 29
1.4.2 ELIMINATION DER MEHRDIMENSIONALITAET DURCH EINE
PAARFUNKTION 33
1.4.3 MODELLTHEORETISCHE CHARAKTERISIERUNG 38
1.5 IDENTITAETSMODIFIZIERENDE INTERPRETIERBARKEIT * 41
1.6 MEHRDIMENSIONALE, IDENTITAETSMODIFIZIERENDE
INTERPRETIERBARKEIT 43
1.7 INTERPRETIERBARKEIT MIT PARAMETERN 45
1.7.1 ELIMINATION DER PARAMETER DURCH SKOLEMFUNKTIONEN 48
1.7.2 ELIMINATION DER PARAMETER DURCH KONSTANTEN 50
1.7.3 ELIMINATION DER PARAMETER DURCH MEHRDIMENSIONALE
INTERPRETATIONEN 54
1.8 INTERPRETIERBARKEIT VON THEORIEN MIT MODELLEN ENDLICHER
MAECHTIGKEIT 60
2 DIE THEORIE DER
REELL ABGESCHLOSSENEN KOERPER RCF * 63
2.1 DIE THEORIE RCF 63
2.2 ALTERNATIVE AXIOMATISIERUNGEN VON RCF 68
2.3 DEFINIERBARKEIT IN RCF 72
3 NEGATIVE RESULTATE UBER INTERPRETIERBARKEIT IN RCF 80
3.1 THEORIEN MIT EINER PAARFUNKTION 80
3.2 THEORIEN ATOMARER BOOLESCHER ALGEBREN 83
3.3 THEORIEN MIT DISKRETER ORDNUNG 86
3.4 ARITHMETISCHE THEORIEN 88
3.5 VERALLGEMEINERUNGEN DES INTERPRETIERBARKEITSBEGRIFFS 89
4 INTERPRETIERBARKEIT ZWISCHEN THEORIEN VON
KOERPERN 98
4.1 ENDLICHE KOERPER 98
HTTP://D-NB.INFO/1077193505
VIII *
INHALT
4.2 KOERPER DER RATIONALEN ZAHLEN 98
4.3 UNENDLICHE KOERPER 99
4.4 KOERPER DER KOMPLEXEN ZAHLEN 101
4.5 SCHIEFKOERPER DER QUATERNIONEN 105
5 ARITHMETISIERUNG DER GEOMETRIE
*107
5.1 ELEMENTARE GEOMETRIEN UND IHRE ARITHMETISIERUNGEN 107
5.1.1 EUKLIDISCHE GEOMETRIE *108
5.1.2 NICHT-EUKLIDISCHE GEOMETRIEN 115
5.2 ALTERNATIVE FORMALISIERUNGEN 118
5.3 KONVERSE DER ARITHMETISIERUNG 119
5.3.1 MEHRDIMENSIONALE INTERPRETATIONEN IN P
N
122
6 EINE ERSTSTUFIGE THEORIE REELLER UND NATUERLICHER ZAHLEN 133
6.1 DIE THEORIE RCFN 133
6.2 FOLGEN REELLER ZAHLEN 140
6.3 BEISPIEL: SATZ VON BOLZANO-WEIERSTRASS 154
7 ZWEITSTUFIGE THEORIEN DER
REELLEN ZAHLEN *156
7.1 GENETISCHE KONZEPTION 156
7.1.1 VON NATUERLICHEN ZU GANZEN ZAHLEN 157
7.1.2 VON GANZEN ZU RATIONALEN ZAHLEN 158
7.1.3 VON RATIONALEN ZU REELLEN ZAHLEN 160
7.1.4 INTERPRETIERBARKEIT IN ARITHMETIK 161
7.1.5 INTERPRETIERBARKEIT VON RCF 171
7.2 AXIOMATISCHE KONZEPTION 172
7.2.1 INTERPRETIERBARKEIT VON PA 173
7.2.2 KONVERSE INTERPRETATION IN ARITHMETIK 178
7.2.3 DYADISCHE SPRACHE 187
SCHLUSS 192
ANHANG 225
A INTERPRETATION DER AXIOME DER HYPERBOLISCHEN GEOMETRIE 225
B INTERPRETATION DER AXIOME DER ELLIPTISCHEN GEOMETRIE 232
C BEWEIS DER AXIOME VON RCF IN DER GENETISCHEN KONZEPTION 242
LITERATUR 259
SACHREGISTER 265
|
any_adam_object | 1 |
author | Alscher, Daniel |
author_GND | (DE-588)1084641178 |
author_facet | Alscher, Daniel |
author_role | aut |
author_sort | Alscher, Daniel |
author_variant | d a da |
building | Verbundindex |
bvnumber | BV043419014 |
classification_rvk | CC 2600 SK 130 |
ctrlnum | (OCoLC)953845192 (DE-599)DNB1077193505 |
dewey-full | 512.786 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 512 - Algebra |
dewey-raw | 512.786 |
dewey-search | 512.786 |
dewey-sort | 3512.786 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik Philosophie |
format | Thesis Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02253nam a2200565 cb4500</leader><controlfield tag="001">BV043419014</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160322 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160301s2016 gw m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1077193505</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">311045856X</subfield><subfield code="9">3-11-045856-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110458565</subfield><subfield code="c">Festeinband : EUR 102.80 (AT), EUR 99.95 (DE), GBP 74.99 (GB) (freier Pr.)</subfield><subfield code="9">978-3-11-045856-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)953845192</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1077193505</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-70</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.786</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Alscher, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1084641178</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theorien der reellen Zahlen und Interpretierbarkeit</subfield><subfield code="c">Daniel Alscher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 266 Seiten</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">Logos</subfield><subfield code="v">Band 25</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Humboldt-Universität zu Berlin</subfield><subfield code="d">2015</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reelle Zahl</subfield><subfield code="0">(DE-588)4202628-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Hilbert, David</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">solids</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">interpretation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">algebra</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">Reelle Zahl</subfield><subfield code="0">(DE-588)4202628-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Walter de Gruyter GmbH & Co. KG</subfield><subfield code="0">(DE-588)10095502-2</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, EPUB</subfield><subfield code="z">978-3-11-045861-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, PDF</subfield><subfield code="z">978-3-11-045919-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Logos</subfield><subfield code="v">Band 25</subfield><subfield code="w">(DE-604)BV017090132</subfield><subfield code="9">25</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">B:DE-101</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://d-nb.info/1077193505/04</subfield><subfield code="3">Inhaltsverzeichnis</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=028837025&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-028837025</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV043419014 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:25:24Z |
institution | BVB |
institution_GND | (DE-588)10095502-2 |
isbn | 311045856X 9783110458565 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028837025 |
oclc_num | 953845192 |
open_access_boolean | |
owner | DE-11 DE-19 DE-BY-UBM DE-20 DE-70 |
owner_facet | DE-11 DE-19 DE-BY-UBM DE-20 DE-70 |
physical | VIII, 266 Seiten |
publishDate | 2016 |
publishDateSearch | 2016 |
publishDateSort | 2016 |
publisher | De Gruyter |
record_format | marc |
series | Logos |
series2 | Logos |
spelling | Alscher, Daniel Verfasser (DE-588)1084641178 aut Theorien der reellen Zahlen und Interpretierbarkeit Daniel Alscher Berlin De Gruyter [2016] © 2016 VIII, 266 Seiten txt rdacontent n rdamedia nc rdacarrier Logos Band 25 Dissertation Humboldt-Universität zu Berlin 2015 Metamathematik (DE-588)4074759-1 gnd rswk-swf Reelle Zahl (DE-588)4202628-3 gnd rswk-swf Hilbert, David solids interpretation algebra (DE-588)4113937-9 Hochschulschrift gnd-content Reelle Zahl (DE-588)4202628-3 s Metamathematik (DE-588)4074759-1 s DE-604 Walter de Gruyter GmbH & Co. KG (DE-588)10095502-2 pbl Erscheint auch als Online-Ausgabe, EPUB 978-3-11-045861-9 Erscheint auch als Online-Ausgabe, PDF 978-3-11-045919-7 Logos Band 25 (DE-604)BV017090132 25 B:DE-101 application/pdf http://d-nb.info/1077193505/04 Inhaltsverzeichnis DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028837025&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Alscher, Daniel Theorien der reellen Zahlen und Interpretierbarkeit Logos Metamathematik (DE-588)4074759-1 gnd Reelle Zahl (DE-588)4202628-3 gnd |
subject_GND | (DE-588)4074759-1 (DE-588)4202628-3 (DE-588)4113937-9 |
title | Theorien der reellen Zahlen und Interpretierbarkeit |
title_auth | Theorien der reellen Zahlen und Interpretierbarkeit |
title_exact_search | Theorien der reellen Zahlen und Interpretierbarkeit |
title_full | Theorien der reellen Zahlen und Interpretierbarkeit Daniel Alscher |
title_fullStr | Theorien der reellen Zahlen und Interpretierbarkeit Daniel Alscher |
title_full_unstemmed | Theorien der reellen Zahlen und Interpretierbarkeit Daniel Alscher |
title_short | Theorien der reellen Zahlen und Interpretierbarkeit |
title_sort | theorien der reellen zahlen und interpretierbarkeit |
topic | Metamathematik (DE-588)4074759-1 gnd Reelle Zahl (DE-588)4202628-3 gnd |
topic_facet | Metamathematik Reelle Zahl Hochschulschrift |
url | http://d-nb.info/1077193505/04 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028837025&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV017090132 |
work_keys_str_mv | AT alscherdaniel theorienderreellenzahlenundinterpretierbarkeit AT walterdegruytergmbhcokg theorienderreellenzahlenundinterpretierbarkeit |
Es ist kein Print-Exemplar vorhanden.
Inhaltsverzeichnis