A note on definability in equational logic

DOI10.1080/01445349408837231zbMath0812.03015OpenAlexW2072882694WikidataQ58531057 ScholiaQ58531057MaRDI QIDQ4312342

George E. Weaver

Publication date: 10 November 1994

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349408837231

zbMATH Keywords

logical consequencevarietydeducibilityequational consequencemodel extensiondefinability of an \(n\)-ary functional constantEquational Definability Theoremequational synonymyhistory of equational logic

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) History of mathematical logic and foundations (03-03) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22) Interpolation, preservation, definability (03C40)

Related Items (1)

A note on definability in equational logic

Cites Work

• Unnamed Item
• The Logic of Equality
• A note on definability in equational logic
• Two Definability Results in the Equational Context
• Some applications of infinitely long formulas
• Horn sentences

This page was built for publication: A note on definability in equational logic