Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-13T01:43:59.618Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  12 March 2014

Sauro Tulipani
Sauro Tulipani*
Affiliation:
Department of Mathematics and Physics, University of Camerino, 62032 (MC) Camerino, Italy
Get access Rights & Permissions [Opens in a new window]

Abstract

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

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 50 , Issue 4 , December 1985 , pp. 1062 - 1064
Copyright
Copyright © Association for Symbolic Logic 1985

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[Ap 1959] Appel, K. I., Horn sentences in identity theory, this Journal, vol. 24, pp. 306–310.Google Scholar
[B1 1984] Blass, A., There are not exactly five objects, this Journal, vol. 49, pp. 467–469.Google Scholar