Set Theoretical Logic-The Algebra of Models (Lectures on Mathematical Logic)

0 avg rating
( 0 ratings by Goodreads )
 
9789056992668: Set Theoretical Logic-The Algebra of Models (Lectures on Mathematical Logic)
View all copies of this ISBN edition:
 
 

This is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical consequence, L÷wenheim-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.

"synopsis" may belong to another edition of this title.

Review:

"A complete representation of the current knowledge in Mathematical Logic in a detailed and precise manner." -- Prof. Michael M. Richter of University of Kaiserslautern, Germany

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Felscher, W
Published by CRC Press (2000)
ISBN 10: 905699266X ISBN 13: 9789056992668
New Hardcover Quantity Available: 1
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)
Rating
[?]

Book Description CRC Press, 2000. Hardcover. Condition: New. Never used!. Seller Inventory # P11905699266X

More information about this seller | Contact this seller

Buy New
US$ 371.02
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

2.

W Felscher
Published by CRC Press (2000)
ISBN 10: 905699266X ISBN 13: 9789056992668
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description CRC Press, 2000. Condition: New. book. Seller Inventory # M905699266X

More information about this seller | Contact this seller

Buy New
US$ 816.36
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds