Bounded Variable Logics and Counting - A Study in Finite Models

Informationen zum Autor Martin Otto has been in full-time ministry to seafarers since 1987. He and his wife, Monika, are based in Hamburg, where they work in association with the Seamen's Christian Friend Society. Klappentext This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics. Zusammenfassung This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory. Inhaltsverzeichnis Preface; Introduction; 1. Definitions and preliminaries; 2. The games and their analysis; 3. The invariants; 4. Fixed-point logic with counting; 5. Related Lindström extensions; 6. Canonization problems; 7. Canonization for two variables; Bibliography; Index.

Product details

• Authors: Martin Otto, Martin (Rheinisch-Westfalische Technische Ho Otto
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 02.03.2017
• EAN: 9781107167940
• ISBN: 978-1-107-16794-0
• No. of pages: 193
• Series: Lecture Notes in Logic
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Basic principles; Non-fiction book > Philosophy, religion > Philosophy: general, reference works