Bounded Variable Logics and Counting
A Study in Finite Models
Seiten
2017
Cambridge University Press (Verlag)
978-1-107-16794-0 (ISBN)
Cambridge University Press (Verlag)
978-1-107-16794-0 (ISBN)
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.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
Martin Otto works in the Department of Mathematics at Rheinisch-Westfälische Technische Hochschule, Aachen, Germany.
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.
| Erscheinungsdatum | 28.02.2017 |
|---|---|
| Reihe/Serie | Lecture Notes in Logic |
| Zusatzinfo | 8 Line drawings, black and white |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 158 x 235 mm |
| Gewicht | 400 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 1-107-16794-9 / 1107167949 |
| ISBN-13 | 978-1-107-16794-0 / 9781107167940 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
