ENGLISH

Finite Model Theory

By Heinz-Dieter Ebbinghaus , Jörg Flum

Book information

Publisher
Springer
Year
1995
ISBN
978-3-662-03184-1, 978-3-662-03182-7
DOI
10.1007/978-3-662-03182-7
Language
english
Format
DJVU
Filesize
3 MB (2976104 bytes)
Series
Perspectives in Mathematical Logic
Edition
1st
Pages
336\336
Topic
Mathematics Logic
Library
Envoy
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-12-15 19:01:24
Mathematical Logic and Foundations; Algorithm Anal

Description

This is the first edition. The second edition was published in the "Springer Monographs in Mathematics" series in 2005. The branch of model theory described in the present book and called finite model theory has its roots in classical model theory but owes its systematic development to research from complexity theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics of f.Qrmalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, set-theoretic, ... ) properties of its models on the other hand. As it turned out, first-order language (we mostly speak of first-order logic) became the most prominent language in this respect, the reason being that it obeys some fundamental principles such as the compactness theorem and the completeness theorem. These principles are valuable modeltheoretic tools and, at the same time, reflect the expressive weakness of first-order logic. This weakness is the breeding ground for the freedom which modeltheoretic methods rest upon.

Similar books