Bounded Variable Logics and Counting

A Study in Finite Models

Martin Otto (Autor)

Buch | Softcover

IX, 187 Seiten

1997
Springer Berlin (Verlag)
978-3-540-62037-2 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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.

O. 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.

Erscheint lt. Verlag	15.10.2013
Reihe/Serie	Lecture Notes in Logic
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	300 g
Einbandart	Paperback
Themenwelt	Mathematik / Informatik ► Mathematik ► Angewandte Mathematik
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	3-540-62037-0 / 3540620370
ISBN-13	978-3-540-62037-2 / 9783540620372
Zustand	Neuware