Model Theory for Modal Logic
Autor K. A. Bowenen Limba Engleză Paperback – 30 dec 2010
Preț: 609.22 lei
Preț vechi: 716.73 lei
-15% Nou
Puncte Express: 914
Preț estimativ în valută:
107.81€ • 126.41$ • 94.67£
107.81€ • 126.41$ • 94.67£
Carte tipărită la comandă
Livrare economică 31 ianuarie-14 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789048183531
ISBN-10: 9048183537
Pagini: 152
Ilustrații: X, 139 p. 1 illus.
Dimensiuni: 152 x 229 x 9 mm
Greutate: 0.23 kg
Ediția:1979
Editura: Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9048183537
Pagini: 152
Ilustrații: X, 139 p. 1 illus.
Dimensiuni: 152 x 229 x 9 mm
Greutate: 0.23 kg
Ediția:1979
Editura: Springer
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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.