algebras

• “And the set of all functions from set X to set Y can be understood as the particular case Set (X, Y) of this convention where C is taken to be the class Set of all sets, which we can think of as discrete algebras, that is, algebras with no structure.”

  Algebra

• “Boolean algebras, which is the algebraic semantics for classical logic, and the class HA of Heyting algebras, which is the algebraic semantics for intuitionistic logic.”

  Propositional Consequence Relations and Algebraic Logic

• “L-algebras is a class of L-algebras which is the class of all the models of some set of L-equations.”

  Propositional Consequence Relations and Algebraic Logic

• “A quasivariety of L-algebras is a class of algebras which is the class of the models of some set of”

  Propositional Consequence Relations and Algebraic Logic

• “His geometric interests extended to Clifford algebras these describe geometrical structures in a compact way and have wide applications in physics and in computer vision and he published a standard work on the subject in 1995.”

  The Guardian: Ian Porteous obituary

• “My wife Emiko Nakayama's father, Tadasi, was a mathematician known for his research on Frobenius algebras.”

  Makoto Kobayashi - Autobiography

• “Her own research (with Brauer and Hasse) in 1930 solved a famous problem in the theory of algebras.”

  Emmy Noether.

• “This led to questions paralleling those already posed and resolved for Boolean algebras, for example, was every model of his axioms for relation algebras isomorphic to an algebra of relations on a set?”

  The Algebra of Logic Tradition

• “Not long after this he discovered a translation between Boolean algebras and Boolean rings; under this translation the ideals of a Boolean algebra corresponded precisely to the ideals of the associated Boolean ring.”

  The Algebra of Logic Tradition

• “His next major contribution was to establish a correspondence between Boolean algebras and certain topological spaces now called Boolean spaces (or Stone spaces).”

  The Algebra of Logic Tradition

Show 10 more examples...