Axiomatizations of universal classes through infinitary logic

DOI10.1007/s00012-018-0507-yzbMath1403.03054OpenAlexW2799774902WikidataQ129946644 ScholiaQ129946644MaRDI QIDQ1652858

Michał M. Stronkowski

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

zbMATH Keywords

infinitary logicuniversal classesaxiomatisationsunary class operators

Mathematics Subject Classification ID

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