Ebbinghaus, Heinz-Dieter
Finite Model Theory - Berlin Springer 1995 - xv, 327p - Perspectives in Mathematical Logic .
1. The Ehrenfeucht-Fraisse Method
2. More on Games
3. 0-1 Laws
4. Satisfiability in the Finite
5. Finite Automata and Logic: A Microcosm of Finite Model Theory
6. Descriptive Complexity Theory
7. Logics with Fixed-Point Operators
8. Logic Programs
9. Optimization Problems
10. Quantifiers and Logical Reductions
A study which presents the results of descriptive complexity theory, the connection between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The parts on the model theory and descriptive complexity theory may also be read independently.
354060149X
Model theory
510.6 / EBB
Finite Model Theory - Berlin Springer 1995 - xv, 327p - Perspectives in Mathematical Logic .
1. The Ehrenfeucht-Fraisse Method
2. More on Games
3. 0-1 Laws
4. Satisfiability in the Finite
5. Finite Automata and Logic: A Microcosm of Finite Model Theory
6. Descriptive Complexity Theory
7. Logics with Fixed-Point Operators
8. Logic Programs
9. Optimization Problems
10. Quantifiers and Logical Reductions
A study which presents the results of descriptive complexity theory, the connection between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The parts on the model theory and descriptive complexity theory may also be read independently.
354060149X
Model theory
510.6 / EBB