# There are not Exactly Five Objects

• Published in 1984
In the collection
The purpose of this note is to present a solution to a problem posed informally by A. Wilkie at the 1977 ASL meeting in Wrocław: Formulate "the cardinality of the universe is not exactly five" as a Horn sentence. Although this solution is not new -- I found it and M. Morley found another solution during the same meeting -- continuing sporadic inquiries about it suggest that its publication may be appropriate, even at this late date.

## Other information

key
TherearenotExactlyFiveObjects
type
article
2020-09-21
date_published
1984-11-14
journal
The Journal of Symbolic Logic

### BibTeX entry

@article{TherearenotExactlyFiveObjects,
key = {TherearenotExactlyFiveObjects},
type = {article},
title = {There are not Exactly Five Objects},
author = {Andreas Blass},
abstract = {The purpose of this note is to present a solution to a problem posed informally by A. Wilkie at the 1977 ASL meeting in Wroc{\l}aw: Formulate "the cardinality of the universe is not exactly five" as a Horn sentence. Although this solution is not new -- I found it and M. Morley found another solution during the same meeting -- continuing sporadic inquiries about it suggest that its publication may be appropriate, even at this late date.},
comment = {},
date_published = {1984-11-14},
collections = {attention-grabbing-titles},
urldate = {2020-09-21},
year = 1984,
journal = {The Journal of Symbolic Logic}
}