Can I read Finite Model Theory: Second Edition (Springer Monographs in Mathematics) on EtoBox?

Finite Model Theory: Second Edition (Springer Monographs in Mathematics) by Heinz-Dieter Ebbinghaus, Jörg Flum (auth.) is a nonfiction available to read on EtoBox.

What is Finite Model Theory: Second Edition (Springer Monographs in Mathematics) about?

This is a thoroughly revised and enlarged second edition (the first edition was published in the "Perspectives in Mathematical Logic" series in 1995) that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The

Who reads Finite Model Theory: Second Edition (Springer Monographs in Mathematics)?

Author

Heinz-Dieter Ebbinghaus, Jörg Flum (auth.)

Publisher

Springer London, Limited

Published

2006

Language

EN

ISBN

9783540287889

Category

nonfiction

Subjects

Computer Science, Mathematics, Science