subalgebras

• “In the 1930s Garrett Birkhoff established the fundamental results of equational logic, namely (1) equational classes of algebras are precisely the classes closed under homomorphisms, subalgebras and direct products, and (2) equational logic is based on five rules: reflexivity, symmetry, transitivity, replacement, and substitution.”

  The Algebra of Logic Tradition

• “Full quantization maps generally only exist on small subalgebras of the full Poisson algebra, and if they do, they need not be unique.”

  String Theory is Losing the Public Debate

• ““Maximal beable subalgebras of quantum mechanical observables,””

  Modal Interpretations of Quantum Mechanics

• “A central result in this area is the theorem that a lattice arises as the lattice of subalgebras of some algebra if and only if it arises as the lattice of congruences on some algebra.”

  Algebra

• “That is, to construct all the models of the theory of C it suffices to close C first under direct products, then under subalgebras, and finally under homomorphic images; that is, later closures do not compromise earlier ones provided P, S, and H are performed in that order.”

  Algebra

• “Given a class C of algebras, we write P (C) for the class of all algebras formed as direct products of families of algebras of C, S (C) for the class of all subalgebras of algebras of C, and H (C) for the class of all homomorphic images of algebras of C.”

  Algebra

• “Aloc of all local observables into subalgebras which contains physical information about the observables, i.e., it is the net structure of algebras which matters.”

  Quantum Field Theory

• “L-algebras closed under subalgebras and direct products.”

  Propositional Consequence Relations and Algebraic Logic

• “L-algebras that includes K and is closed under subalgebras, direct products and homomorphic images.”

  Propositional Consequence Relations and Algebraic Logic

• “A class of L-algebras is a quasivariety if and only if it is closed under subalgebras, direct products and ultraproducts.”

  Propositional Consequence Relations and Algebraic Logic

Show 10 more examples...