On theories with the general disjunction property

DOI10.1007/S00012-007-1992-6zbMath1177.03038OpenAlexW2094567724MaRDI QIDQ995384

Miodrag Kapetanović

Publication date: 3 September 2007

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

Full work available at URL: https://doi.org/10.1007/s00012-007-1992-6

zbMATH Keywords

disjunction propertyHorn theoryinstantiation property

Mathematics Subject Classification ID

Free algebras (08B20) Equational classes, universal algebra in model theory (03C05)

This page was built for publication: On theories with the general disjunction property