Overview
- Explores connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds
- Includes important logics: fixed-point logics, transitive closure logics, and also certain infinitary languages
- Additional topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems
- The new Second Edition is thoroughly revised and enlarged
- Includes supplementary material: sn.pub/extras
Part of the book series: Springer Monographs in Mathematics (SMM)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (12 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Finite Model Theory
Book Subtitle: Second Edition
Authors: Heinz-Dieter Ebbinghaus, Jörg Flum
Series Title: Springer Monographs in Mathematics
DOI: https://doi.org/10.1007/3-540-28788-4
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Hardcover ISBN: 978-3-540-28787-2Published: 06 October 2005
eBook ISBN: 978-3-540-28788-9Published: 29 December 2005
Series ISSN: 1439-7382
Series E-ISSN: 2196-9922
Edition Number: 2
Number of Pages: XI, 360
Additional Information: Originally published in the series: Perspectives in Mathematical Logic
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages