Algebraic theories of quasivarieties

DOI10.1006/jabr.1998.7499zbMath0913.18004OpenAlexW2021826450MaRDI QIDQ1273384

Hans-E. Porst, Jiří Adámek

Publication date: 9 March 1999

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jabr.1998.7499

zbMATH Keywords

many-sorted theoryalgebraic theoryquasivarietyHorn classfinitely presentable

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05)

Related Items (9)

Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Syntactic characterizations of various classes of locally presentable categories ⋮ On quasivarieties and varieties as categories ⋮ On an essentially algebraic theory for locally presentable categories ⋮ Enriched regular theories ⋮ Petri nets based on Lawvere theories ⋮ A simple characterization of theories of varieties ⋮ Hopf and Lie algebras in semi-additive Varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strong conceptual completeness for first-order logic
• How to sketch quasivarieties
• Models of Horn theories revisited
• Kennzeichnung von primitiven und quasiprimitiven Kategorien von Algebren
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Existence and Nonexistence of Regular Generators
• Some Results on Locally Finitely Presentable Categories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Algebraic theories of quasivarieties