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 (5)

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

This page was built for publication: Horn sentences in identity theory