Horn sentences excluding a prime

DOI10.1007/BF01190738zbMath0601.03010MaRDI QIDQ1080848

Sauro Tulipani

Publication date: 1986

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical first-order logic (03B10) Model theory of finite structures (03C13)

Cites Work

• There are not exactly five objects
• Horn Sentences of Small Size in Identity Theory
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”
• Horn sentences in identity theory

This page was built for publication: Horn sentences excluding a prime