Coherent theory
= Coherent theory
{title2=$\mathbb T$}
A coherent theory is a <first-order signature> with a set of <coherent sequents> as axioms. It has a <coherent syntactic category> containing a <conservative syntactic model>. Theories of groups, rings and integral domains admit coherent axiomatizations.