Skip to main content Accesibility Help

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

  • Sauro Tulipani (a1)

Given a prime p, we exhibit a Horn sentence Hp which expresses “the cardinality is not p” and has size O(p5 log p).

Hide All
[Ap 1959] Appel, K. I., Horn sentences in identity theory, this Journal, vol. 24, pp. 306310.
[B1 1984] Blass, A., There are not exactly five objects, this Journal, vol. 49, pp. 467469.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed