An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”

DOI10.2307/2273991MaRDI QIDQ4723703zbMATH OpenOpenAlexFDO

Authors Sauro Tulipani

Publication date 1985

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

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

zbMATH Keywords

Horn sentenceprime

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cites work

• Horn sentences in identity theory
• There are not exactly five objects

Cited in

(2)

• Horn sentences excluding a prime
• European Summer Meeting of the Association for Symbolic Logic, Paris, 1985

This page was built for publication: An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723703)