- Anglický jazyk
Model Theory for Modal Logic
Autor: K. A. Bowen
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
98.99 €
bežná cena: 109.99 €
O knihe
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.
- Vydavateľstvo: Springer Netherlands
- Rok vydania: 2010
- Formát: Paperback
- Rozmer: 229 x 152 mm
- Jazyk: Anglický jazyk
- ISBN: 9789048183531