Refinement properties for relational structures
From MaRDI portal
Publication:5557887
DOI10.4064/fm-55-3-249-281zbMath0171.25805OpenAlexW1573215829MaRDI QIDQ5557887
C. C. Chang, Bjarni Jónsson, Alfred Tarski
Publication date: 1964
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213789
Related Items
Operations with structures, Direct products of cyclic semigroups and unions of groups, Varieties with definable factor congruences, The automorphism group of a function lattice: A problem of Jónsson and McKenzie, \(\mathcal{M}\)-coextensive objects and the strict refinement property, Projectivity and unification in substructural logics of generalized rotations, Universal algebraic methods for non-classical logics, Tribute to Bjarni Jónsson, Factor congruence lifting property, A method for obtaining refinement theorems, with an application to direct products of semigroups, Powers of ordered sets, The fine spectrum of a variety, Asymmetric colorings of products of graphs and digraphs, Zero-divisors among finite structures of a fixed type, Unnamed Item, Coextensive varieties via central elements, Varieties having Boolean factor congruences, Automorphisms and products of ordered sets, Independent factorizations of abstract algebras, THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY, Symmetric chain decompositions of quotients by wreath products., A portrait of Alfred Tarski, Strict refinement for graphs and digraphs
