On theories with the general disjunction property

DOI10.1007/S00012-007-1992-6zbMATH Open1177.03038OpenAlexW2094567724MaRDI QIDQ995384FDOQ995384

Authors: 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

Recommendations

• On partial disjunction properties of theories containing Peano arithmetic
• scientific article; zbMATH DE number 1303023
• A Generalization of Maksimova’s Criterion for the Disjunction Property
• Disjunctions of Horn theories and their cores
• The disjunction and existence properties for axiomatic systems of truth

zbMATH Keywords

disjunction propertyHorn theoryinstantiation property

Mathematics Subject Classification ID

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

Cited In (7)

• On the Negative Disjunction Property
• Title not available (Why is that?)
• Disjunctions of Horn theories and their cores
• Some properties of conjunctivity (subfitness) in generalized settings
• Title not available (Why is that?)
• A Generalization of Maksimova’s Criterion for the Disjunction Property
• On partial disjunction properties of theories containing Peano arithmetic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995384)