Axiomatizations of universal classes through infinitary logic
From MaRDI portal
Publication:1652858
DOI10.1007/s00012-018-0507-yzbMath1403.03054OpenAlexW2799774902WikidataQ129946644 ScholiaQ129946644MaRDI QIDQ1652858
Publication date: 16 July 2018
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-018-0507-y
Properties of classes of models (03C52) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)
Related Items
Singly generated quasivarieties and residuated structures, Deciding active structural completeness, Structural completeness in many-valued logics with rational constants
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quasi-equational bases for graphs of semigroups, monoids and groups.
- Formulas and ultraproducts in categories
- Model theory.
- Finitely axiomatizable quasivarieties of graphs
- Some characterization theorems for infinitary universal Horn logic without equality
- Introduction to Boolean Algebras
- On Implicationally Defined Classes of Algebras
- Protoalgebraic logics