Two Definability Results in the Equational Context

DOI10.2307/2048033MaRDI QIDQ4733856zbMATH OpenOpenAlexFDO

Authors Ralph McKenzie, Michel Hébert, George E. Weaver

Publication date 1989

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2048033

zbMATH Keywords

definabilityequational logic

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Equational logic, Mal'tsev conditions (08B05) Axiomatic model classes (08C10)

Recommendations

• Sur le rang et la définissabilité des opérations implicites dans les classes d'algèbres
• A note on definability in equational logic
• scientific article; zbMATH DE number 1107755
• scientific article; zbMATH DE number 672107
• scientific article; zbMATH DE number 4070987

Cited in

(9)

• Solvability of context equations with two context variables is decidable
• Definability in the language of functional equations of a countable-valued logic
• Zero-place operations and functional completeness, and the definition of new connectives
• Sur le rang et la définissabilité des opérations implicites dans les classes d'algèbres
• Arithmetic definability by formulas with two quantifiers
• A note on definability in equational logic
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• Mutual definability does not imply definitional equivalence, a simple example
• On the fullness of certain functors

This page was built for publication: Two Definability Results in the Equational Context

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733856)