Cover Image

The classical decision problem /

Show other versions (1)
Bibliographic Details
Main Author: Börger, E. (Egon), 1946- (Author)
Other Authors: Grädel, Erich, 1958-, Gurevich, Yuri
Format: Book
Language:English
Published: Berlin ; New York : Springer, 2001.
Edition:2nd print.
Series:Universitext.
Subjects:
Decidability (Mathematical logic)
Décidabilité (Logique mathématique)
Table of Contents:
  • Introduction : the classical decision problem
  • part 1. Undecidable classes
  • Reductions
  • Undecidable standard classes for pure predicate logic
  • Undecidable standard classes with functions or equality
  • Other undecidable classes
  • part II. Decidable classes and their complexity
  • Standard classes with the finite model property
  • Monadic theories and decidable standard classes with infinity axioms
  • Other decidable cases.