There are not Exactly Five Objects

• Published in 1984
• Added on 2020-09-21

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.

Links

• https://www.jstor.org/stable/2274177?seq=1#metadata_info_tab_contents

Other information

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_added = {2020-09-21},
	date_published = {1984-03-22},
	urls = {https://www.jstor.org/stable/2274177?seq=1{\#}metadata{\_}info{\_}tab{\_}contents},
	collections = {attention-grabbing-titles},
	url = {https://www.jstor.org/stable/2274177?seq=1{\#}metadata{\_}info{\_}tab{\_}contents},
	urldate = {2020-09-21},
	year = 1984,
	journal = {The Journal of Symbolic Logic}
}