Skip to content

Universal Algebra And Model Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Universal Algebra And Model Theory.

  • Quasivariety — A class of algebraic structures of a fixed signature axiomatizable by quasi-identities, equivalently closed under isomorphisms, subalgebras, direct products, and ultraproduct or reduced-product conditions under standard formulations.