UID:
almahu_9948192777502882
Format:
149 S.
,
online resource.
Edition:
1st ed. 1984.
ISBN:
9783642617263
Series Statement:
Strukturtypen der Logik ; 3 / C
Note:
13. Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der Wahrheit -- 13.0. Intuitive Vorbetrachtungen -- 13.1 Die Minimalsysteme So, SoL und SP -- 13.2 Miniaturfassungen der Theoreme von Tarski und Gödel -- 13.3 Vorbereitung für höhere Systeme: Normbildung mittels Gödel-Entsprechungen und semantische Normalität -- 13.4 Das arithmetische System SAr und die arithmetische Undefinierbarkeit der arithmetischen Wahrheit -- Anhang 1. Henkin-Sätze und semantische Konsistenz -- Anhang 2. Diagonalisierung versus Normbildung -- 14. Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Arten -- 14.0 Vorbemerkung -- 14.1 Abstrakte Bewertungs- und Interpretationssemantik -- 14.1.1 Motivation und intuitive Einführung -- 14.1.2 Symbolmengen und Sprachen erster Stufe im Rahmen der abstrakten Semantik -- 14.1.3 Gewöhnhche und volle semantische Strukturen -- 14.1.4 Abstrakte Bewertungssemantik. Modellbeziehung und logische Folgerung -- 14.1.5 Das Lemma über Kontextfreiheit (Koinzidenzlemma) -- 14.1.6 Das Substitutionslemma -- 14.1.7 Reine Interpretationssemantik -- 14.2 Elemente der abstrakten Defmitionstheorie -- 14.2.1 Definitionen bezüglich Satzmengen -- 14.2.2 Definitionsmengen. Die eindeutige Existenz von Defmitionserweiterungen -- 14.2.3 Das Theorem über Eliminierbarkeit und Nichtkreativität -- 14.2.4 Informeller und abstrakter Defmitionsbegriff -- 14.3 Substrukturen, Relativierungen, relationale Strukturen -- 14.3.1 S-Redukte und S-Expansionen -- 14.3.2 S-abgeschlossene Träger, Substrukturen und Superstrukturen -- 14.3.3 Die P-Relativierung einer Formel -- 14.3.4 Das Relativierungstheorem -- 14.3.5 Relationale Strukturen und das Relationalisierungstheorem -- 14.4 Elementare Äquivalenz und Isomorphie-Arten -- 14.4.1 Isomorphe Strukturen -- 14.4.2 Das Isomorphielemma -- 14.4.3 Elementar äquivalente Strukturen. Die semantische Theorie einer Struktur -- 14.4.4 Isomorphie, elementare Äquivalenz, Defmitionserweiterungen und relationale Strukturen -- 14.4.5 Präpartielle Isomorphismen -- 14.4.6 Endlich isomorphe Strukturen -- 14.4.7 Partiell isomorphe Strukturen -- 14.4.8 m-isomorphe Strukturen -- 14.4.9 Quantorenrang -- 14.4.10 Der Zusammenhang von m-Isomorphie und Quantorenrang -- 14.4.11 Die Beziehungen zwischen den verschiedenen Isomorphie-Arten und der elementaren Äquivalenz -- 14.5 Der Satz von Fraissé -- 14.5.1 Intuitive Motivation und Formulierung -- 14.5.2 Reduktion auf den relationalen Fall -- 14.5.3 Beweis der ersten Hälfte des Theorems von Fraissé -- 14.5.4 Beweis der zweiten Hälfte des Theorems von Fraissé -- 15. Auszeichnung der Logik erster Stufe: Die Sätze von Lindström -- 15.1 Abstrakte logische Systeme -- 15.2 Der erste Satz von Lindström -- 15.3 Der zweite Satz von Lindström -- Anhang. Zum Satz von Trachtenbrot -- Bibliographie -- Autorenregister -- Verzeichnis der Symbole und Abkürzungen.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540122135
Language:
German
DOI:
10.1007/978-3-642-61726-3
URL:
https://doi.org/10.1007/978-3-642-61726-3
Bookmarklink