Finite model theory /

Finite model theory /

Saved in:
Bibliographic Details
Author / Creator:Ebbinghaus, Heinz-Dieter, 1939-
Imprint:Berlin ; New York : Springer, c1995.
Description:xv, 327 p. : ill. ; 24 cm.
Language:English
Series:Perspectives in mathematical logic.
Subject:
Model theory.
Model theory.
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/2414449
Hidden Bibliographic Details
Other authors / contributors:Flum, Jörg.
ISBN:354060149X
Notes:Includes bibliographical references (p. [313]-317) and index.
Table of Contents:
  • Preface
  • 1. Preliminaries
  • 2. The Ehrenfeucht-Fraïssé Method
  • 2.1. Elementary Classes
  • 2.2. Ehrenfeucht's Theorem
  • 2.3. Examples and Fraïssé's Theorem
  • 2.4. Hanf's Theorem
  • 2.5. Gaifman's Theorem
  • 3. More on Games
  • 3.1. Second-Order Logic
  • 3.2. In nitary Logic: The Logics L ∞¿ and L ¿1¿
  • 3.3. The Logics FO s and
  • 3.3.1. Pebble Games
  • 3.3.2. The s-Invariant of a Structure
  • 3.3.3. Scott Formulas
  • 3.4. Logics with Counting Quanti ers
  • 3.5. Failure of Classical Theorems in the Finite
  • 4. 0-1 Laws
  • 4.1. 0-1 Laws for FO and
  • 4.2. Parametric Classes
  • 4.3. Unlabeled 0-1 Laws
  • 4.3.1. Appendix
  • 4.4. Examples and Consequences
  • 4.5. Probabilities of Monadic Second Order Properties
  • 5. Satis ability in the Finite
  • 5.1. Finite Model Property of FO2
  • 5.2. Finite Model Property of 829 -Sentences
  • 6. Finite Automata and Logic: A Microcosm of Finite Model Theory
  • 6.1. Languages Accepted by Automata
  • 6.2. Word Models
  • 6.3. Examples and Applications
  • 6.4. First-Order De nability
  • 7. Descriptive Complexity Theory
  • 7.1. Some Extensions of First-Order Logic
  • 7.2. Turing Machines and Complexity Classes
  • 7.2.1. Digression: Trahtenbrot's Theorem
  • 7.2.2. Structures as Inputs
  • 7.3. Logical Descriptions of Computations
  • 7.4. The Complexity of the Satisfaction Relation
  • 7.5. The Main Theorem and Some Consequences
  • 7.5.1. Appendix
  • 8. Logics with Fixed-Point Operators
  • 8.1. In ationary and Least Fixed-Points
  • 8.2. Simultaneous Induction and Transitivity
  • 8.3. Partial Fixed-Point Logic
  • 8.4. Fixed-Point Logics and
  • 8.4.1. The Logic FO(PFP PTIME )
  • 8.4.2. Fixed-Point Logic with Counting
  • 8.5. Fixed-Point Logics and Second-Order Logic
  • 8.5.1. Digression: Implicit De nability
  • 8.6. Transitive Closure Logic
  • 8.6.1. FO(DTC)
  • 8.6.2. FO(posTC) and Normal Forms
  • 8.6.3. FO(TC)
  • 8.7. Bounded Fixed-Point Logic
  • 9. Logic Programs
  • 9.1. DATALOG
  • 9.2. I-DATALOG and P-DATALOG
  • 9.3. A Preservation Theorem
  • 9.4. Normal Forms for Fixed-Point Logics
  • 9.5. An Application of Negative Fixed-Point Logic
  • 9.6. Hierarchies of Fixed-Point Logics
  • 10. Optimization Problems
  • 10.1. Polynomially Bounded Optimization Problems
  • 10.2. Approximable Optimization Problems
  • 11. Logics for PTIME
  • 11.1. Logics and Invariants
  • 11.2. PTIME on Classes of Structures
  • 12. Quanti ers and Logical Reductions
  • 12.1. Lindström Quanti ers
  • 12.2. PTIME and Quanti ers
  • 12.3. Logical Reductions
  • 12.4. Quanti ers and Oracles
  • References
  • Index

Similar Items