
Bounded Variable Logics and Counting
A Study in Finite Models
Martin Otto(Author)
Cambridge University Press
Published on 2. March 2017
Book
Hardback
194 pages
978-1-107-16794-0 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Illustrations
8 Line drawings, black and white
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 15 mm
Weight
440 gr
ISBN-13
978-1-107-16794-0 (9781107167940)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

E-Book
03/2017
Cambridge University Press
€112.99
Available for download
Person
Martin Otto works in the Department of Mathematics at Rheinisch-Westfaelische Technische Hochschule, Aachen, Germany.
Content
Preface; Introduction; 1. Definitions and preliminaries; 2. The games and their analysis; 3. The invariants; 4. Fixed-point logic with counting; 5. Related Lindstroem extensions; 6. Canonization problems; 7. Canonization for two variables; Bibliography; Index.