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)
Topoi: The Categorial Analysis of Logic Rating: 5 out of 5 stars5/5Model 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/5Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory Rating: 0 out of 5 stars0 ratingsHandbook of Mathematical Logic Rating: 4 out of 5 stars4/5Combinatorial Set Theory: Partition Relations for Cardinals Rating: 0 out of 5 stars0 ratingsThe Lambda Calculus: Its Syntax and Semantics Rating: 5 out of 5 stars5/5Foundations of Set Theory Rating: 0 out of 5 stars0 ratingsSet Theory An Introduction To Independence Proofs Rating: 4 out of 5 stars4/5Equivalents of the Axiom of Choice, II Rating: 0 out of 5 stars0 ratingsDescriptive Set Theory Rating: 5 out of 5 stars5/5Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers Rating: 0 out of 5 stars0 ratingsIntensional Mathematics Rating: 0 out of 5 stars0 ratingsLogic Colloquium '85 Rating: 0 out of 5 stars0 ratingsLogic Colloquium '88 Rating: 0 out of 5 stars0 ratingsLogic, Methodology and Philosophy of Science IX Rating: 0 out of 5 stars0 ratingsLogic Colloquium '86 Rating: 0 out of 5 stars0 ratingsHarvey Friedman's Research on the Foundations of Mathematics Rating: 0 out of 5 stars0 ratingsLogic Colloquium '87 Rating: 0 out of 5 stars0 ratingsLogic, Methodology and Philosophy of Science VIII Rating: 0 out of 5 stars0 ratingsLogical Frameworks for Truth and Abstraction: An Axiomatic Study Rating: 0 out of 5 stars0 ratingsComputability, Complexity, Logic Rating: 0 out of 5 stars0 ratingsHausdorff Gaps and Limits Rating: 0 out of 5 stars0 ratingsLectures on the Curry-Howard Isomorphism Rating: 0 out of 5 stars0 ratingsAdmissibility of Logical Inference Rules Rating: 0 out of 5 stars0 ratingsLanguage in Action: Categories, Lambdas and Dynamic Logic Rating: 0 out of 5 stars0 ratingsRecursive Functionals Rating: 0 out of 5 stars0 ratingsComputable Structures and the Hyperarithmetical Hierarchy Rating: 0 out of 5 stars0 ratingsRudiments of Calculus Rating: 0 out of 5 stars0 ratings
Related ebooks
Paradigms of Combinatorial Optimization: Problems and New Approaches, Volume 2 Rating: 0 out of 5 stars0 ratingsMany-Sorted Algebras for Deep Learning and Quantum Technology Rating: 0 out of 5 stars0 ratingsDecision and Discrete Mathematics: Maths for Decision-Making in Business and Industry Rating: 5 out of 5 stars5/5Random Graphs Rating: 5 out of 5 stars5/5Foundations of General Topology Rating: 0 out of 5 stars0 ratingsDifferential Equations in Abstract Spaces Rating: 0 out of 5 stars0 ratingsTopics in Quaternion Linear Algebra Rating: 5 out of 5 stars5/5Algebraic Methods of Mathematical Logic Rating: 5 out of 5 stars5/5Finite Field Fun: A lightweight introduction to finite fields and their applications for engineers, computer scientists, and others Rating: 0 out of 5 stars0 ratingsLinear Models: A Mean Model Approach Rating: 0 out of 5 stars0 ratingsAn Introduction to Algebraic and Combinatorial Coding Theory Rating: 4 out of 5 stars4/5Number Theory Rating: 0 out of 5 stars0 ratingsAlgebraic Geometry in Coding Theory and Cryptography Rating: 0 out of 5 stars0 ratingsAlgebra Rating: 4 out of 5 stars4/5The Representation Theory of Finite Groups Rating: 5 out of 5 stars5/5Mathematical Analysis and Applications: Selected Topics Rating: 0 out of 5 stars0 ratingsQuadratic Form Theory and Differential Equations Rating: 0 out of 5 stars0 ratingsBeginning Software Engineering Rating: 4 out of 5 stars4/5Elementary Theory: Fundamentals of the Theory of Operator Algebras Rating: 0 out of 5 stars0 ratingsCombinatorial Optimization: Networks and Matroids Rating: 4 out of 5 stars4/5Fuzzy Set and Its Extension: The Intuitionistic Fuzzy Set Rating: 0 out of 5 stars0 ratingsMultivariable Calculus with Linear Algebra and Series Rating: 0 out of 5 stars0 ratingsHilbert Space Methods in Partial Differential Equations Rating: 4 out of 5 stars4/5Mathematics with Applications for the Management, Life, and Social Sciences Rating: 5 out of 5 stars5/5Theory of Probability: A critical introductory treatment Rating: 0 out of 5 stars0 ratingsGeometry for Programmers Rating: 0 out of 5 stars0 ratingsPyramid Algorithms: A Dynamic Programming Approach to Curves and Surfaces for Geometric Modeling Rating: 0 out of 5 stars0 ratingsBasic Abstract Algebra: For Graduate Students and Advanced Undergraduates Rating: 4 out of 5 stars4/5
Mathematics For You
The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5Quantum Physics for Beginners Rating: 4 out of 5 stars4/5Standard Deviations: Flawed Assumptions, Tortured Data, and Other Ways to Lie with Statistics Rating: 4 out of 5 stars4/5My Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsBasic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5Game Theory: A Simple Introduction Rating: 4 out of 5 stars4/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5Algebra - The Very Basics Rating: 5 out of 5 stars5/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Calculus Made Easy Rating: 4 out of 5 stars4/5Real Estate by the Numbers: A Complete Reference Guide to Deal Analysis Rating: 0 out of 5 stars0 ratingsFlatland Rating: 4 out of 5 stars4/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5Logicomix: An epic search for truth Rating: 4 out of 5 stars4/5Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition Rating: 4 out of 5 stars4/5See Ya Later Calculator: Simple Math Tricks You Can Do in Your Head Rating: 4 out of 5 stars4/5The Everything Everyday Math Book: From Tipping to Taxes, All the Real-World, Everyday Math Skills You Need Rating: 5 out of 5 stars5/5Basic Math Notes Rating: 5 out of 5 stars5/5Algebra I For Dummies Rating: 4 out of 5 stars4/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/5The Math of Life and Death: 7 Mathematical Principles That Shape Our Lives Rating: 4 out of 5 stars4/5Is God a Mathematician? Rating: 4 out of 5 stars4/5Introducing Game Theory: A Graphic Guide Rating: 4 out of 5 stars4/5
Reviews for Relation Algebras by Games
0 ratings0 reviews