A note on definability in equational logic
DOI10.1080/01445349408837231zbMATH Open0812.03015OpenAlexW2072882694WikidataQ58531057 ScholiaQ58531057MaRDI QIDQ4312342FDOQ4312342
Authors: 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
Recommendations
varietylogical consequencededucibilityequational consequencemodel extensiondefinability of an \(n\)-ary functional constantEquational Definability Theoremequational synonymyhistory of equational logic
History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22) Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Interpolation, preservation, definability (03C40)
Cites Work
Cited In (12)
- A note on equality in finite‐type arithmetic
- Two Definability Results in the Equational Context
- A Note on Definability and Approximations
- Title not available (Why is that?)
- A field guide to equational logic
- Equational treatment of first-order logic
- A note on definability in equational logic
- Some remarks on equivalence in infinitary and stationary logic
- A note on equational theories
- Bases for structures and theories. I.
- Title not available (Why is that?)
- Definability in the language of functional equations of a countable-valued logic
This page was built for publication: A note on definability in equational logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4312342)
