The classical decision problem /
Saved in:
Author / Creator: | Boerger, Egon, 1946- |
---|---|
Imprint: | New York : Springer, 1997. |
Description: | xii, 492 p. ; 24 cm. |
Language: | English |
Series: | Perspectives in mathematical logic. |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2616340 |
Table of Contents:
- 1. Introduction: The Classical Decision Problem
- 2. Reductions
- 3. Undecidable Standard Classes for Pure Predicate Logic
- 4. Undecidable Standard Classes with Functions or Equality
- 5. Other Undecidable Cases
- 6. Standard Classes with the Finite Model Property
- 7. Monadic Theories and Decidable Standard Classes with Infinity Axioms
- 8. Other Decidable Cases
- Appendix. Tiling Problems.