Article contents
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
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
- Copyright
- Copyright © Association for Symbolic Logic 1985
References
REFERENCES
- 1
- Cited by