Relation Algebras by Games
By Robin Hirsch and Ian Hodkinson
()
Currently unavailable
Currently unavailable
About this ebook
They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games.
After an introduction describing the authors' perspective on the material, the text proper has six parts. The lengthy first part is devoted to background material, including the formal definitions of relation algebras, cylindric algebras, their basic properties, and some connections between them. Examples are given. Part 1 ends with a short survey of other work beyond the scope of the book. In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises.
The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given. Chapter 2 introduces the necessary universal algebra and model theory, and more specific model-theoretic ideas are explained as they arise.
Related to Relation Algebras by Games
Titles in the series (32)
The Lambda Calculus: Its Syntax and Semantics Rating: 5 out of 5 stars5/5Foundations of Set Theory Rating: 0 out of 5 stars0 ratingsProblems in the Philosophy of Mathematics Rating: 0 out of 5 stars0 ratingsRecursive Model Theory Rating: 5 out of 5 stars5/5Combinatorial Set Theory: Partition Relations for Cardinals Rating: 0 out of 5 stars0 ratingsClassical Recursion Theory: The Theory of Functions and Sets of Natural Numbers Rating: 0 out of 5 stars0 ratingsBoole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory Rating: 0 out of 5 stars0 ratingsEquivalents of the Axiom of Choice, II Rating: 0 out of 5 stars0 ratingsModel Theory Rating: 0 out of 5 stars0 ratingsTopoi: The Categorial Analysis of Logic Rating: 5 out of 5 stars5/5Harvey Friedman's Research on the Foundations of Mathematics Rating: 0 out of 5 stars0 ratingsHandbook of Mathematical Logic Rating: 4 out of 5 stars4/5Set Theory An Introduction To Independence Proofs Rating: 4 out of 5 stars4/5Descriptive Set Theory Rating: 5 out of 5 stars5/5Logic, Methodology and Philosophy of Science IX Rating: 0 out of 5 stars0 ratingsIntensional Mathematics Rating: 0 out of 5 stars0 ratingsLogic, Methodology and Philosophy of Science VIII Rating: 0 out of 5 stars0 ratingsLogic Colloquium '85 Rating: 0 out of 5 stars0 ratingsLogic Colloquium '86 Rating: 0 out of 5 stars0 ratingsComputability, Complexity, Logic Rating: 0 out of 5 stars0 ratingsLogic Colloquium '88 Rating: 0 out of 5 stars0 ratingsLanguage in Action: Categories, Lambdas and Dynamic Logic Rating: 0 out of 5 stars0 ratingsAdmissibility of Logical Inference Rules Rating: 0 out of 5 stars0 ratingsRecursive Functionals Rating: 0 out of 5 stars0 ratingsLogic Colloquium '87 Rating: 0 out of 5 stars0 ratingsHausdorff Gaps and Limits Rating: 0 out of 5 stars0 ratingsResiduated Lattices: An Algebraic Glimpse at Substructural Logics Rating: 0 out of 5 stars0 ratingsLectures on the Curry-Howard Isomorphism Rating: 0 out of 5 stars0 ratingsComputable Structures and the Hyperarithmetical Hierarchy Rating: 0 out of 5 stars0 ratingsLogical Frameworks for Truth and Abstraction: An Axiomatic Study Rating: 0 out of 5 stars0 ratings
Related ebooks
Engineering Mathematics with Examples and Applications Rating: 4 out of 5 stars4/5Handbook of Game Theory Rating: 3 out of 5 stars3/5Optimization Techniques and Applications with Examples Rating: 0 out of 5 stars0 ratingsAlgebra Rating: 4 out of 5 stars4/5Introduction to Global Analysis Rating: 0 out of 5 stars0 ratingsIntroduction to Projective Geometry Rating: 0 out of 5 stars0 ratingsFunctional Analysis Rating: 0 out of 5 stars0 ratingsMany-Sorted Algebras for Deep Learning and Quantum Technology Rating: 0 out of 5 stars0 ratingsFinancial Risk Modelling and Portfolio Optimization with R Rating: 4 out of 5 stars4/5Feynman Lectures Simplified 4A: Math for Physicists Rating: 5 out of 5 stars5/5Mathematical Analysis: Functions, Limits, Series, Continued Fractions Rating: 0 out of 5 stars0 ratingsA Course of Pure Mathematics: Third Edition Rating: 0 out of 5 stars0 ratingsMathematics for economists: An introductory textbook, fifth edition Rating: 0 out of 5 stars0 ratingsFinite Field Fun: A lightweight introduction to finite fields and their applications for engineers, computer scientists, and others Rating: 0 out of 5 stars0 ratingsSchaum's Outline of Vector Analysis, 2ed Rating: 4 out of 5 stars4/5Fundamentals of Matrix Computations Rating: 0 out of 5 stars0 ratingsDiscrete Computational Structures Rating: 0 out of 5 stars0 ratingsLinear Algebra and Its Applications Rating: 3 out of 5 stars3/5Boolean Systems: Topics in Asynchronicity Rating: 0 out of 5 stars0 ratingsPerspectives in Computation Rating: 5 out of 5 stars5/5Pyramid Algorithms: A Dynamic Programming Approach to Curves and Surfaces for Geometric Modeling Rating: 0 out of 5 stars0 ratingsMore Concise Algebraic Topology: Localization, Completion, and Model Categories Rating: 0 out of 5 stars0 ratingsFrom the Calculus to Set Theory 1630-1910: An Introductory History Rating: 5 out of 5 stars5/5Elements of Mathematics: From Euclid to Gödel Rating: 4 out of 5 stars4/5Lie Algebras: Theory and Algorithms Rating: 0 out of 5 stars0 ratingsFuzzy Set and Its Extension: The Intuitionistic Fuzzy Set Rating: 0 out of 5 stars0 ratingsNetworking Games: Network Forming Games and Games on Networks Rating: 0 out of 5 stars0 ratingsAlgebraic Groups and Number Theory Rating: 0 out of 5 stars0 ratingsBasic Abstract Algebra: For Graduate Students and Advanced Undergraduates Rating: 4 out of 5 stars4/5Get Programming with Haskell Rating: 0 out of 5 stars0 ratings
Mathematics For You
Algebra - The Very Basics Rating: 5 out of 5 stars5/5Calculus For Dummies Rating: 4 out of 5 stars4/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5Game Theory: A Simple Introduction Rating: 4 out of 5 stars4/5Pre-Calculus For Dummies Rating: 5 out of 5 stars5/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5Painless Algebra Rating: 0 out of 5 stars0 ratingsQuantum Physics for Beginners Rating: 4 out of 5 stars4/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5Geometry For Dummies Rating: 5 out of 5 stars5/5The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsCalculus: An Intuitive and Physical Approach (Second Edition) Rating: 4 out of 5 stars4/5My Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5Relativity: The special and the general theory Rating: 5 out of 5 stars5/5The Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5Is God a Mathematician? Rating: 4 out of 5 stars4/5A Mind for Numbers | Summary Rating: 4 out of 5 stars4/5Calculus Made Easy Rating: 4 out of 5 stars4/5Painless Pre-Algebra Rating: 3 out of 5 stars3/5Real Estate by the Numbers: A Complete Reference Guide to Deal Analysis Rating: 0 out of 5 stars0 ratingsThe Everything Everyday Math Book: From Tipping to Taxes, All the Real-World, Everyday Math Skills You Need Rating: 5 out of 5 stars5/5Flatland Rating: 4 out of 5 stars4/5
Reviews for Relation Algebras by Games
0 ratings0 reviews