Normality of Horn theories with a nonmaximal spectrum
From MaRDI portal
Publication:1086227
DOI10.1007/BF01978710zbMath0608.03008OpenAlexW2074599235MaRDI QIDQ1086227
Publication date: 1985
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187327
Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45)
Related Items
Simple, existentially closed extensions of unoids ⋮ Arities and aritizabilities of group, monoid and groupoid theories ⋮ Interpretation of graphs in noncommutative theories of Frechet powers ⋮ \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories ⋮ The primitive normality of a class of weakly injective \(S\)-acts ⋮ Elimination of quantifiers in Horn theories having a small number of models
Cites Work