Skip to main content
    • Aa
    • Aa

There are not exactly five objects


We exhibit a Horn sentence expressing the statement of the title; the construction generalizes to arbitrary primes in place of five.

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? *