|
|
|
|
| LEADER |
03973nmm a2200289 u 4500 |
| 001 |
EB000668286 |
| 003 |
EBX01000000000000000521368 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| ger |
| 020 |
|
|
|a 9783642617263
|
| 100 |
1 |
|
|a Stegmüller, Wolfgang
|e [editor]
|
| 245 |
0 |
0 |
|a Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström
|h Elektronische Ressource
|c herausgegeben von Wolfgang Stegmüller
|
| 250 |
|
|
|a 1st ed. 1984
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1984, 1984
|
| 300 |
|
|
|a 149 S.
|b online resource
|
| 505 |
0 |
|
|a 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 --
|
| 505 |
0 |
|
|a 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.3Elementar äquivalente Strukturen. Die semantische Theorie einer Struktur --
|
| 505 |
0 |
|
|a 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
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Mathematical Logic and Foundations
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Strukturtypen der Logik
|
| 028 |
5 |
0 |
|a 10.1007/978-3-642-61726-3
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-61726-3?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 511.3
|