Finite Model Theory 2e

   In stock
SKU
BK0028800
ISBN10 3540287876
ISBN13 9783540287872
Binding PAPERBACK
Author EBBINGHAUS
Language ENGLISH
Publisher SPRINGER VERLAG
Published Year 1999
Country of Origin India

12949.00

Finite model theory, the model theory of finite structures, has roots in clas? sical model theory; however, its systematic development was strongly influ? enced by research and questions of complexity theory and of database 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 formalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, settheoretic, . . . ) 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.