Two Definability Results in the Equational Context

DOI10.2307/2048033zbMATH Open0684.03011OpenAlexW4233557379MaRDI QIDQ4733856FDOQ4733856

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

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

Cited In (8)

• Arithmetic definability by formulas with two quantifiers
• On the fullness of certain functors
• A note on definability in equational logic
• Solvability of context equations with two context variables is decidable
• Mutual definability does not imply definitional equivalence, a simple example
• Zero-place operations and functional completeness, and the definition of new connectives
• Title not available (Why is that?)
• Definability in the language of functional equations of a countable-valued logic

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)