scientific article

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

algebraic theories free algebras monads diamond lemma finitary operation existential closure infinite forcing embedding of rings in skew fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model-theoretic forcing (03C25) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (95)

On commutative unary algebras with pairwise incomparable nontrivial congruences (topologies). ⋮ An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms ⋮ Uniform interpolation and compact congruences ⋮ Strict positivity and D-majorization ⋮ A complete equational axiomatisation of partial differentiation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fuzzy tree automata ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ ON SEPARABILITY FINITENESS CONDITIONS IN SEMIGROUPS ⋮ Cohomological finiteness conditions and centralisers in generalisations of Thompson's group \(V\) ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Bredon cohomological finiteness conditions for generalisations of Thompson groups. ⋮ Subgroups close to normal subgroups ⋮ Pseudo-free families and cryptographic primitives ⋮ Many-sorted algebras in congruence modular varieties ⋮ On maximal subgroups of the group of recursive permutations ⋮ Identities of the stylic monoid ⋮ Categorical foundations of variety-based bornology ⋮ Lattice-valued topological systems as a framework for lattice-valued formal concept analysis ⋮ The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope ⋮ Une extension d'un théorème de P. Jullien sur les âges de mots ⋮ Varieties of Rings with Definable Principal Congruences ⋮ A note on the finite basis and finite rank properties for pseudovarieties of semigroups ⋮ Observational implementations ⋮ Primitive and almost primitive elements of Schreier varieties ⋮ Unnamed Item ⋮ Lattice-valued soft algebras. ⋮ Topology of closure systems in algebraic lattices ⋮ Polynumbers, norms, metrics, and polyingles ⋮ Word problems and ceers ⋮ When variable-length codes meet the field of error detection ⋮ On finitely-generated Johansson algebras ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ Categorical foundations of variety-based topology and topological systems ⋮ Modelling Concurrency with Quotient Monoids ⋮ Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups ⋮ Representations via differential algebras and equationally Noetherian algebras ⋮ Classifying regular languages by their syntactic algebras ⋮ Topologies for error-detecting variable-length codes ⋮ Rules of three for commutation relations ⋮ The exocenter of a generalized effect algebra ⋮ Unnamed Item ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ An \(\ell\)-algebra approach to Artin's solution of Hilbert's seventeenth problem ⋮ A specification structure for deadlock-freedom of synchronous processes ⋮ Categorically algebraic topology versus universal topology ⋮ Reflections in topological algebraic structures ⋮ Cauchy problems for discrete holomorphic functions ⋮ Zariski closed algebras in varieties of universal algebra. ⋮ On monoids, 2-firs, and semifirs. ⋮ Positive semifields and their ideals ⋮ Iterated matched products of finite braces and simplicity; new solutions of the Yang-Baxter equation ⋮ Unnamed Item ⋮ Observationally-induced lower and upper powerspace constructions ⋮ Some properties of involution binary relations ⋮ Kernels in tropical geometry and a Jordan–Hölder theorem ⋮ On Disjointness, Bands and Projections in Partially Ordered Vector Spaces ⋮ REFLECTORS AND GLOBALIZATIONS OF PARTIAL ACTIONS OF GROUPS ⋮ Differential (Monoid) Algebra and More ⋮ Free objects in triangular matrix varieties and quiver algebras over semirings ⋮ On the growth of algebras with bialgebra action ⋮ Compactness of systems of equations in semigroups ⋮ A two-level approach towards lean proof-checking ⋮ The category of Archimedean \(\ell\)-groups with strong unit, and some of its epireflective subcategories ⋮ Cardinal Representations for Closures and Preclosures ⋮ On the categorical behaviour of preordered groups ⋮ Join-completions of partially ordered algebras ⋮ A new Composition-Diamond lemma for associative conformal algebras ⋮ Constructing division rings as module-theoretic direct limits ⋮ Pseudo-free families of computational universal algebras ⋮ Conditions for acts over semilattices to be Cantor ⋮ Homotopy theory of monoids and derived localization ⋮ Algebraization of inferring functional dependences in relational databases ⋮ A Note on the Convex Structure of Uncertainty Measures on MV-algebras ⋮ A syntactic approach to the MacNeille completion of \(\Lambda^\ast\), the free monoid over an ordered alphabet \(\Lambda\) ⋮ Extended-order algebras as a generalization of posets ⋮ On the structure of semilattice sums ⋮ Alignments closed under a binary product ⋮ An algebraic study of multivariable integration and linear substitution ⋮ Embedding rings in completed graded rings. II: Algebra over a field ⋮ A note on the algebraicity of \(L\)-fuzzy subalgebras in universal algebra ⋮ Belief Functions on MV-Algebras of Fuzzy Sets: An Overview ⋮ Variable-length codes independent or closed with respect to edit relations ⋮ On the rank of the Rees–Sushkevich varieties ⋮ Universal coalgebra: A theory of systems ⋮ An application of lattice theory to knowledge representation ⋮ A type of algebraic structure related to sets of intervals ⋮ On multiplication groups of quasigroups ⋮ Gray cycles of maximum length related to \(k\)-character substitutions ⋮ Clones of term functions of lattices and Abelian groups ⋮ Combinatorics of free vertex algebras. ⋮ On fuzzification of topological categories ⋮ On the Jacobson and simple radicals of semigroups ⋮ Simple, local and subdirectly irreducible state residuated lattices

This page was built for publication: