Picture 1 of 3
Stock photo
Picture 1 of 3
Stock photo
Set Theoretical Logic - The Algebra of Models by Walter Felscher (2000, Hardcover)
MrBearsbookstore (7535)
99.9% positive feedback
Price:
US $125.35
(inclusive of GST)
ApproximatelyS$ 160.74
+ $32.19 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCRC Press LLC
ISBN-10905699266X
ISBN-139789056992668
eBay Product ID (ePID)7038570843
Product Key Features
Number of Pages296 Pages
LanguageEnglish
Publication NameSet Theoretical Logic-The Algebra of Models
SubjectSet Theory, Logic
Publication Year2000
TypeTextbook
Subject AreaMathematics
AuthorWalter Felscher
FormatHardcover
Dimensions
Item Height0.9 in
Item Weight23.2 Oz
Item Length9.4 in
Item Width6.7 in
Additional Product Features
Intended AudienceScholarly & Professional
LCCN2002-421346
Dewey Edition21
IllustratedYes
Volume NumberVol. 1
Dewey Decimal611.3
Table Of Content1. Lattices and Boolean Algebras 2. Algebras, Homomorphisms and Subalgebras 3. Separation Theorems for Boolean Algebras 4. Filters, Ideals and More on (PIA) 5. Term Algebras 6. The Logic of Equations 7. Free Algebras and Equational Classes 8. Equational Equivalences and Clones 9. Polynomials and Normal Forms 10. Classical Propositional Logic 11. Open Predicate Logic 12. Quantifier Logic: Languages and Structures 13. Substitution 14. Henkin Constants, Skolem Functions and Normal Forms 15. Algorithms for Consequence 16. Lowenheim-Skolem Theorems 17. Elementary Classes
SynopsisThis is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical consequence, Lowenheim-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.", 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., An introduction to mathematical logic in which all the usual topics are presented. Concepts are developed and can be viewed as a first course on universal algebra.
LC Classification NumberQA9.2.F45 2000
Be the first to write a review
