Bounded variable logics and counting : a study in finite models
Author(s)
Bibliographic Information
Bounded variable logics and counting : a study in finite models
（Lecture notes in logic, 9）
Springer, c1997
Available at / 25 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [177]-179) and index
Description and Table of Contents
Description
This monograph in finite model theory offers a comprehensive treatment of a variety of results in the model theory and descriptive complexity theory of infinitary logics with a bounded number of variables and logics with counting constructs. The exposition is largely self-contained, with introductory sections on the relevant logics, model theoretic concepts, and the programme of descriptive complexity.
Table of Contents
O. Introduction.- 1. Definitions and Preliminaries.- 2. The Games and Their Analysis.- 3. The Invariants.- 4. Fixed-Point Logic with Counting.- 5. Related Lindstrom Extensions.- 6. Canonization Problems.- 7. Canonization for Two Variables.
by "Nielsen BookData"
