Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Set Theoretical Logic-The Algebra of Models, Hardback Book

Set Theoretical Logic-The Algebra of Models Hardback

Hardback

Item not Available

Description

This is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical consequence, Loewenheim-Skolem-Tarski theorems, prenex and other normal forms, and characterizations of elementary classes with the help of ultraproducts.

Logic is based exclusively on semantics: truth and satisfiability of formulas in structures are the basic notions.

The methods are algebraic in the sense that notions such as homomorphisms and congruence relations are applied throughout in order to gain new insights.

These concepts are developed and can be viewed as a first course on universal algebra.

The approach to algorithms generating semantical consequences is algebraic as well: for equations in algebras, for propositional formulas, for open formulas of predicate logic, and for the formulas of quantifier logic.

The structural description of logical consequence is a straightforward extension of that of equational consequence, as long as Boolean valued propositions and Boolean valued structures are considered; the reduction of the classical 2-valued case then depends on the Boolean prime ideal theorem.

Information

Save 12%

£86.99

£76.15

Item not Available
Item not Available
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information