Verfügbarkeit: Einführung in die Modelltheorie und ihre Anwendungen

Einführung in die Modelltheorie und ihre Anwendungen:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Potthoff, Klaus (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Darmstadt Wiss. Buchges. 1981
Schriftenreihe:	Die Mathematik
Schlagworte:	Modeltheorie Toepassingen Model theory Modelltheorie Algebra Logik Mathematische Logik Einführung
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XII, 277 S.
ISBN:	3534072685

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV001014798
003	DE-604
005	20090911
007	t
008	890315s1981 \|\|\|\| 00\|\|\| ger d
020			\|a 3534072685 \|9 3-534-07268-5
035			\|a (OCoLC)8525314
035			\|a (DE-599)BVBBV001014798
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
049			\|a DE-12 \|a DE-19 \|a DE-91 \|a DE-703 \|a DE-739 \|a DE-355 \|a DE-20 \|a DE-384 \|a DE-29T \|a DE-706 \|a DE-634 \|a DE-83 \|a DE-188
050		0	\|a QA9.7
082	0		\|a 511.3
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Potthoff, Klaus \|e Verfasser \|4 aut
245	1	0	\|a Einführung in die Modelltheorie und ihre Anwendungen \|c Klaus Potthoff
264		1	\|a Darmstadt \|b Wiss. Buchges. \|c 1981
300			\|a XII, 277 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Die Mathematik
650		7	\|a Modeltheorie \|2 gtt
650		7	\|a Toepassingen \|2 gtt
650		4	\|a Model theory
650	0	7	\|a Modelltheorie \|0 (DE-588)4114617-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algebra \|0 (DE-588)4001156-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Modelltheorie \|0 (DE-588)4114617-7 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1		\|5 DE-604
689	2	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	2	1	\|a Algebra \|0 (DE-588)4001156-2 \|D s
689	2		\|5 DE-604
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=000613679&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|q TUB-nveb
999			\|a oai:aleph.bib-bvb.de:BVB01-000613679
980	4		\|a (DE-12)AK17480554

Datensatz im Suchindex

_version_	1804115436205244416
adam_text	V Inhaltsverzeichnis EINLEITUNG vln 1. KAPITEL GRUNDLAGEN 1. STRUKTUREN 1 2. MODELLTHEORETISCHE SPRACHEN 4 3. SEMANTIK MODELLTHEORETISCHER SPRACHEN 9 4. DER ENDLICHKEITSSATZ 24 5. ALGEBRAISCHE ANWENDUNGEN DES ENDLICHKEITSSATZES 27 6. DIE KONSTRUKTION VON MODELLEN AUS KONSTANTEN 35 7. DER VOLLSTÄNDIGKEITSSATZ FÜR L UND L 47 8. ANWENDUNGEN AUF KÖRPER UND ORDNUNGSTHEORIEN 55 9. DER CRAIG SCHE INTERPOLATIONSSATZ UND KONSEQUENZEN 62 2. KAPITEL NODELLVOLLSTRNDIGKEIT UND RELATIVE ÄQUIVALENZEN 10. GERICHTETE SYSTEME VON STRUKTUREN ¦ 68 11. ABGESCHLOSSENHEITSBEDINGUNGEN FÜR MODELLKLASSEN 71 12. RELATIVE ÄQUIVALENZ - 76 13. MODELLVOLLSTÄNDIGKEITSTEST 81 14. TESTS FÜR QUANT0RENEL1MINATI0N 85 15. BEISPIELE FÜR THEORIEN,%1€ QUANTORENELIMINATION ERLAUBEN 87 3. KAPITEL MODELLBEGLEITER 16. MODELLVERVOLLSTÄNDIGUNG UND MODELLBEGLEITER 105 17. EXISTENTIELL ABGESCHLOSSENE STRUKTUREN 113 18. ENDLICHES UND UNENDLICHES ERZWINGEN 118 19. EINE ANWENDUNG DER ERZWINGUNGSMETHODE AUF DIE GRUPPENTHEORIE 123 VI 4. KAPITEL TYPEN 20. DER OMITTING-TYPES-SATZ UND ZWEI ANWENDUNGEN 127 21. SATURIERTE STRUKTUREN 133 5. KAPITEL ULTRAPRODUKTE 22. DEFINITIONEN UND GRUNDLEGENDE SÄTZE 146 23. MEHR OBER ULTRAPRODUKTE 156 24. DIE THEORIE DER HENSELSCHEN BEWERTETEN KÖRPER - EINE ANWENDUNG DER SATURIERTHEIT UND DER ULTRAPRODUKTE 161 6. KAPITEL KATEGORIZITÄT 25. SKOLEMHOLLEN UND UNUNTERSCHEIDBARE ELEMENTE 171 26. DER KATEGORIZITÄTSSATZ VON MORLEY 178 ANHANG I NICHTSTANDARDANALYSIS I. 0. VORBEMERKUNG 192 I. 1. MODELLTHEORETISCHE GRUNDLAGEN DER NICHTSTANDARDANALYSIS 193 I. 2. EIGENSCHAFTEN VON NICHTSTANDARDMODELLEN UND VERGRÖSSERUNGEN 195 I. 3. VERGRÖSSERUNGEN DER REELLEN ZAHLEN 203 I. 4. FOLGEN, REIHEN UND EIN EXKURS OBER STERN-ENDLICHE MENGEN 207 I. 5. STETIGKEIT UND DIFFERENZIERBARKEIT REELLER FUNKTIONEN 218 I. 6. ÄQUIVALENZEN ZU STANDARDDEFINITIONEN 223 I. 7. TOPOLOGISCHE RÄUME 227 I. 8. EIN OBERTRAGUNGSSATZ 235 I. 9. NOCH ETWAS TOPOLOGIE 242 1.10. NICHTSTANDARDANALYSIS TOPOLOGISCHER KÖRPER 249 ANHANG II MENGENTHEORETISCHE VORAUSSETZUNGEN UND DEFINITIONEN 259 VII Literaturverzeichnis 266 Index 268 Liste der Symbole und verwendeten Metavariablen 273
any_adam_object	1
author	Potthoff, Klaus
author_facet	Potthoff, Klaus
author_role	aut
author_sort	Potthoff, Klaus
author_variant	k p kp
building	Verbundindex
bvnumber	BV001014798
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.7
callnumber-search	QA9.7
callnumber-sort	QA 19.7
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SK 130
ctrlnum	(OCoLC)8525314 (DE-599)BVBBV001014798
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 Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01974nam a2200541 c 4500</leader><controlfield tag="001">BV001014798</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090911 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890315s1981 \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3534072685</subfield><subfield code="9">3-534-07268-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)8525314</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001014798</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Potthoff, Klaus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Modelltheorie und ihre Anwendungen</subfield><subfield code="c">Klaus Potthoff</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Darmstadt</subfield><subfield code="b">Wiss. Buchges.</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 277 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="0" ind2=" "><subfield code="a">Die Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modeltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Toepassingen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</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">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</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=000613679&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000613679</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK17480554</subfield></datafield></record></collection>
genre	(DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV001014798
illustrated	Not Illustrated
indexdate	2024-07-09T15:22:35Z
institution	BVB
isbn	3534072685
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-000613679
oclc_num	8525314
open_access_boolean
owner	DE-12 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-384 DE-29T DE-706 DE-634 DE-83 DE-188
owner_facet	DE-12 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-384 DE-29T DE-706 DE-634 DE-83 DE-188
physical	XII, 277 S.
psigel	TUB-nveb
publishDate	1981
publishDateSearch	1981
publishDateSort	1981
publisher	Wiss. Buchges.
record_format	marc
series2	Die Mathematik
spelling	Potthoff, Klaus Verfasser aut Einführung in die Modelltheorie und ihre Anwendungen Klaus Potthoff Darmstadt Wiss. Buchges. 1981 XII, 277 S. txt rdacontent n rdamedia nc rdacarrier Die Mathematik Modeltheorie gtt Toepassingen gtt Model theory Modelltheorie (DE-588)4114617-7 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Modelltheorie (DE-588)4114617-7 s DE-604 Mathematische Logik (DE-588)4037951-6 s Logik (DE-588)4036202-4 s Algebra (DE-588)4001156-2 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000613679&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Potthoff, Klaus Einführung in die Modelltheorie und ihre Anwendungen Modeltheorie gtt Toepassingen gtt Model theory Modelltheorie (DE-588)4114617-7 gnd Algebra (DE-588)4001156-2 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4114617-7 (DE-588)4001156-2 (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4151278-9
title	Einführung in die Modelltheorie und ihre Anwendungen
title_auth	Einführung in die Modelltheorie und ihre Anwendungen
title_exact_search	Einführung in die Modelltheorie und ihre Anwendungen
title_full	Einführung in die Modelltheorie und ihre Anwendungen Klaus Potthoff
title_fullStr	Einführung in die Modelltheorie und ihre Anwendungen Klaus Potthoff
title_full_unstemmed	Einführung in die Modelltheorie und ihre Anwendungen Klaus Potthoff
title_short	Einführung in die Modelltheorie und ihre Anwendungen
title_sort	einfuhrung in die modelltheorie und ihre anwendungen
topic	Modeltheorie gtt Toepassingen gtt Model theory Modelltheorie (DE-588)4114617-7 gnd Algebra (DE-588)4001156-2 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Modeltheorie Toepassingen Model theory Modelltheorie Algebra Logik Mathematische Logik Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000613679&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT potthoffklaus einfuhrungindiemodelltheorieundihreanwendungen

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge