Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi: 127 - Rilegato

Bowen, K.

Rilegato

ISBN 10: 9027709297 ISBN 13: 9789027709295

Casa editrice: Kluwer Academic Pub, 1978

Riassunto

[X, 127 p. ; 23 cm.] (Synthese library) [NUOVO (Coperina rigida con sovracoperta)] [TABLE OF CONTENTS : - Preface 1. Syntactic considerations 2. Modal structures and morphisms 3. Validity 4. Completeness 5. Löwenheim-Skolem theorem 6. Ultraproducts 7. Ultrafilter pairs and elementary embeddings 8. Direct limits 9. Model extensions 10. Inductive theories 11. Joint consistency and interpolations 12. Model Completeness 13. Finite forcing 14. Forcing and model completions 15. Omitting types and a two-cardinal theorem - Appendix : Semantic tableaux methods - Bibliography - Index of named theorems - Index of symbols - Index of names and subjects]

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Kluwer Academic Pub
• Data di pubblicazione: 1978
• Lingua: Inglese
• ISBN 10: 9027709297
• ISBN 13: 9789027709295
• Rilegatura: Copertina rigida
• Numero di pagine: 156
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania