Weitere Formate
Softcover - 9789048183531
106,99 €
Autorenfreundlich Bücher kaufen?!
Beschreibung
Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- L¿wenheim-Skolem Theorems.- Ultraproducts.- Ultrafilter Pairs and Elementary Embeddings.- Direct Limits.- Model Extensions.- Inductive Theories.- Joint Consistency and Interpolation.- Model Completeness.- Finite Forcing.- Forcing and Model Completions.- Omitting Types and a Two-Cardinal Theorem.
Kripke Models for Modal Predicate Calculi
Kripke Models for Modal Predicate Calculi
Details
| Verlag | Springer Netherland |
| Ersterscheinung | 31. Dezember 1978 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 407 Gramm |
| Format | Hardcover |
| ISBN-13 | 9789027709295 |
| Seiten | 139 |
Schlagwörter
Herstellerinformationen
Bekannt durch
