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, . . . ) ...
Read More
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. This weakness is the breeding ground for the freedom which modeltheoretic methods rest upon. By compactness, any first-order axiom system either has only finite models of limited cardinality or has infinite models. The first case is trivial because finitely many finite structures can explicitly be described by a first-order sentence. As model theory usually considers all models of an axiom system, modeltheorists were thus led to the second case, that is, to infinite structures. In fact, classical model theory of first-order logic and its generalizations to stronger languages live in the realm of the infinite."
Read Less
Add this copy of Finite Model Theory to cart. $40.00, very good condition, Sold by Grey Matter Books rated 4.0 out of 5 stars, ships from Hadley, MA, UNITED STATES, published 1995 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good in None Issued jacket. Text is unmarked, though the pages are a little yellowed, the page edges are age toned and the top edge of the pages is foxed. Binding is sturdy. There are a couple tiny stains of the covers. No dust jacket, as issued. 327pp.
Add this copy of Finite Model Theory to cart. $50.26, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published by Springer.
Add this copy of Finite Model Theory (Second Edition) to cart. $55.00, like new condition, Sold by Midway Book Store rated 4.0 out of 5 stars, ships from Saint Paul, MN, UNITED STATES, published 1999 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. 23.5 x 15.5 cm. 360pp. Revised and enlarged second edition. Part of the series perspectives in mathematical logic. From the back cover: This 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 vertain 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.
Add this copy of Finite Model Theory (Perspectives in Mathematical Logic to cart. $74.48, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1995 by Springer.
Add this copy of Finite Model Theory to cart. $75.00, good condition, Sold by Moe's Books rated 5.0 out of 5 stars, ships from Berkeley, CA, UNITED STATES, published 1999 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. No jacket. Second edition. Cover is lightly worn and smudged, not affecting legibility of text. Binding is tight. Top and fore edge of text block is stained, visible on some pages but not affecting legibility of text. Pages are otherwise unmarked.
Add this copy of Finite Model Theory to cart. $77.15, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1995 by Springer.
Add this copy of Finite Model Theory to cart. $82.24, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1995 by Springer.
