Horn sentences in identity theory

DOI10.2307/2963901zbMath0114.24502OpenAlexW2132375184MaRDI QIDQ5722254

Kenneth I. Appel

Publication date: 1959

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2963901

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items

Horn sentences excluding a prime, Reduced Products and Horn Classes, Properties preserved under algebraic constructions, An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”, European Summer Meeting of the Association for Symbolic Logic, Paris, 1985

Cites Work

• On sentences which are true of direct unions of algebras