Zur Modelltheorie der Fixpunktlogik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | II, 107 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011171832 | ||
| 003 | DE-604 | ||
| 005 | 19970129 | ||
| 007 | t | ||
| 008 | 970129s1994 m||| 00||| ger d | ||
| 016 | 7 | |a 948172959 |2 DE-101 | |
| 035 | |a (OCoLC)51749275 | ||
| 035 | |a (DE-599)BVBBV011171832 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-355 |a DE-739 |a DE-29T |a DE-703 |a DE-824 |a DE-634 |a DE-11 | ||
| 100 | 1 | |a Bosse, Uwe |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Zur Modelltheorie der Fixpunktlogik |c Uwe Bosse |
| 264 | 1 | |c 1994 | |
| 300 | |a II, 107 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Freiburg i. Br., Univ., Diss., 1995 | ||
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fixpunkt-Logik |0 (DE-588)4382716-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Fixpunkt-Logik |0 (DE-588)4382716-0 |D s |
| 689 | 0 | 1 | |a Modelltheorie |0 (DE-588)4114617-7 |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=007490186&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007490186 | |
Datensatz im Suchindex
| _version_ | 1812453763137404928 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
EINLEITUNG 1
1 WICHTIGE HILFSMITTEL UND DEFINITIONEN 3
1.1 SCHREIBWEISEN UND VEREINBARUNGEN . . . 3
1.2 GRUNDLEGENDE EIGENSCHAFTEN DER FIXPUNKTLOGIK. 4
1.2.1 DER SATZ VON LOEWENHEIM UND SKOLEM FUER FP. 7
1.2.2 RELATIVIERUNG VON FIXPUNKTFORMELN. 10
2 IN DER SPIELHOELLE DER LOGIKER 12
2.1 EHRENFEUCHT-FRAISSE-SPIELE FUER DIE FIXPUNKTLOGIK. 12
2.1.1 EINE VEREINFACHUNG DER SPIELREGELN. 18
2.1.2 EIN SPIELERISCHER ZUGANG ZU 21 (=
P. 20
2.1.3 DAS SPIEL (2T, 25) ZUM NACHWEIS VON 21
=LFP*
. . . 23
2.1.4 VERSPIELTE SPRECHWEISEN. 26
3 ERGEBNISSE FUER ENDLICHE STRUKTUREN 27
3.1 EINE QUANTORENHIERARCHIE IN SFP. 27
3.1.1 EIN EHRENFEUCHT-FRAISSE-SPIEL FUER SFP . 28
3.1.2 DIE QUANTORENHIERARCHIE. 29
3.1.3 SFP
FP. 36
3.2 ZWEI MONADISCHE FIXPUNKTE SEHEN MEHR ALS EINER. 36
I
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/948172959
II
INHALTSVERZEICHNIS
4 ZUR AUSDRUCKSSTAERKE VON MFP UND MSO AUF ORDNUNGEN 42
4.1 EINLEITUNG. 42
4.2 NOTATIONEN UND VEREINBARUNGEN. 44
4.3 DIE THEORIEADDITIONSSAETZE FUER MSO UND MFP. 46
4.4 ENDLICHE ORDNUNGEN. 51
4.5 ENDLICHE ORDNUNGEN MIT FARBEN.
\ . 52
4.5.1 GEFAERBTE ORDNUNGEN ALS WORTE . 52
4.5.2 ENDLICHE DETERMINISTISCHE AUTOMATEN. 53
4.5.3 DER SATZ VON BUECHI. 53
4.6
UJ,
UI* UND
Z
MIT EINSTELLIGEN PRAEDIKATEN
.
56
4.7 WOHLORDNUNGEN. 58
\
4.7.1 DIE
=MSO
-KLASSEN ABZAEHLBARER WOHLORDNUNGEN. 62
4.7.2 EIN VERGLEICH MIT DER ERSTEN STUFE. 62
4.8 ZERSTREUTE ORDNUNGEN . 63
4.8.1 EINLEITUNG UND MOTIVATION. 63
4.8.2 DIE KONDENSATION ZERSTREUTER ORDNUNGEN. 64
4.8.3 KONDENSATE UND FIXPUNKTE . 66
4.8.4 ZERSTREUTHEIT IST ZU KONFUS FUER MFP. 69
4.8.5 ES GIBT SEHR VIELE ORDNUNGEN DER HOEHE 2. 72
4.8.6 HOEHENBESCHRAENKUNG FUEHRT ZU'MSO ^ MFP. 74
4.8.7
REPRAESENTANTEN FUER DIE =MSOYY-KLASSEN. 77
4.8.8 WIE WEIT MAN IN RICHTUNG MSO MFP KOMMT. 84
4.8.9 MSO ^ MFP IN ZERSTREUTEN ORDNUNGEN. 87
4.8.10 DAS SPIEL (/UI-BOES-S^(ST,). 91
4.8.11 ZURUECK ZU MSO ^ MFP. 96
4.8.12 WIE DER BRHALTER MIT DEN
ZQ SPIELT.100 |
| any_adam_object | 1 |
| author | Bosse, Uwe |
| author_facet | Bosse, Uwe |
| author_role | aut |
| author_sort | Bosse, Uwe |
| author_variant | u b ub |
| building | Verbundindex |
| bvnumber | BV011171832 |
| ctrlnum | (OCoLC)51749275 (DE-599)BVBBV011171832 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV011171832</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970129</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970129s1994 m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948172959</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)51749275</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011171832</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-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bosse, Uwe</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Zur Modelltheorie der Fixpunktlogik</subfield><subfield code="c">Uwe Bosse</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">II, 107 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="502" ind1=" " ind2=" "><subfield code="a">Freiburg i. Br., Univ., Diss., 1995</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">Fixpunkt-Logik</subfield><subfield code="0">(DE-588)4382716-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Fixpunkt-Logik</subfield><subfield code="0">(DE-588)4382716-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="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=007490186&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007490186</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011171832 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-09T16:16:42Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007490186 |
| oclc_num | 51749275 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-739 DE-29T DE-703 DE-824 DE-634 DE-11 |
| owner_facet | DE-355 DE-BY-UBR DE-739 DE-29T DE-703 DE-824 DE-634 DE-11 |
| physical | II, 107 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| spelling | Bosse, Uwe Verfasser aut Zur Modelltheorie der Fixpunktlogik Uwe Bosse 1994 II, 107 S. txt rdacontent n rdamedia nc rdacarrier Freiburg i. Br., Univ., Diss., 1995 Modelltheorie (DE-588)4114617-7 gnd rswk-swf Fixpunkt-Logik (DE-588)4382716-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Fixpunkt-Logik (DE-588)4382716-0 s Modelltheorie (DE-588)4114617-7 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007490186&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bosse, Uwe Zur Modelltheorie der Fixpunktlogik Modelltheorie (DE-588)4114617-7 gnd Fixpunkt-Logik (DE-588)4382716-0 gnd |
| subject_GND | (DE-588)4114617-7 (DE-588)4382716-0 (DE-588)4113937-9 |
| title | Zur Modelltheorie der Fixpunktlogik |
| title_auth | Zur Modelltheorie der Fixpunktlogik |
| title_exact_search | Zur Modelltheorie der Fixpunktlogik |
| title_full | Zur Modelltheorie der Fixpunktlogik Uwe Bosse |
| title_fullStr | Zur Modelltheorie der Fixpunktlogik Uwe Bosse |
| title_full_unstemmed | Zur Modelltheorie der Fixpunktlogik Uwe Bosse |
| title_short | Zur Modelltheorie der Fixpunktlogik |
| title_sort | zur modelltheorie der fixpunktlogik |
| topic | Modelltheorie (DE-588)4114617-7 gnd Fixpunkt-Logik (DE-588)4382716-0 gnd |
| topic_facet | Modelltheorie Fixpunkt-Logik Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007490186&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bosseuwe zurmodelltheoriederfixpunktlogik |