DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS

DOI10.1017/jsl.2017.18zbMath1428.18002OpenAlexW2793917732MaRDI QIDQ4638973

Miguel A. Campercholi

Publication date: 2 May 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11336/88474

zbMATH Keywords

epimorphismBeth definabilitydominionIsbell's Zigzag Theoremdefinable functionepic substructure

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Interpolation, preservation, definability (03C40)

Related Items (7)

Semilinear De Morgan monoids and epimorphisms ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Infinitary Baker-Pixley theorem ⋮ Epimorphisms, definability and cardinalities ⋮ BL-global representations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical conditions for the definability of functions and relations
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• A short proof of Isbell's zigzag theorem
• A proof of Isbell's zig-zag theorem
• An algebraic proof of Isbell's zigzag theorem
• On free products of semigroups and a new proof of Isbell's zigzag theorem
• Dominions in quasivarieties of universal algebras
• Infinitary Baker-Pixley theorem
• Epimorphisms in varieties of residuated structures
• The Beth property in algebraic logic
• A PROOF OF ISBELL’S ZIGZAG THEOREM
• Dominions of universal algebras and projective properties
• Epimorphisms and amalgams
• Algebras Whose Congruence Lattices are Distributive.
• Proceedings of the Conference on Categorical Algebra

This page was built for publication: DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS