Horn Sentences of Small Size in Identity Theory.
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik,
View all Google Scholar citations for this article.
View all citations for
this article on Scopus
We exhibit a Horn sentence expressing the statement of the title; the construction generalizes to arbitrary primes in place of five.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
You can enter one or more administrator email addresses.