Models and Games

Informationen zum Autor Jouko Väänänen is a Professor of Mathematics at the University of Helsinki, and a Professor of Mathematical Logic and Foundations of Mathematics at the University of Amsterdam. Klappentext This introductory text clearly presents three important games in logic! from the basics to the cutting edge. Zusammenfassung This gentle introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht–Fraïssé game and the model existence game. Over 500 exercises are included and instructors will appreciate the game-theoretical presentation of basic materials as well as more advanced applications. Inhaltsverzeichnis Preface; 1. Introduction; 2. Preliminaries and notation; 3. Games; 4. Graphs; 5. Models; 6. First order logic; 7. Infinitary logic; 8. Model theory of infinitary logic; 9. Stronger infinitary logics; 10. Generalized quantifiers; References; Index.

Produktdetails

• Autoren: Jouko Vaananen, Jouko Väänänen
• Verlag: Cambridge University Press ELT
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 05.05.2011
• EAN: 9780521518123
• ISBN: 978-0-521-51812-3
• Seiten: 380
• Serien: Cambridge Studies in Advanced Mathematics; Cambridge Studies in Advanced; Cambridge Studies in Advanced Mathematics; Cambridge Studies in Advanced
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen; MATHEMATICS / Logic, game theory, Mathematical logic