Count(q) does not imply Count(p)

Authors

  • Søren Riis

DOI:

https://doi.org/10.7146/brics.v1i21.21646

Abstract

I solve a conjecture originally studied by M.Ajtai. It states that for different primes q, p the matching principles Count(q) and Count(p) are logically independent. I prove that this indeed is the case. Actually I show that Count(q) implies Count(p) exactly when each prime in p also is a factor in q.

Downloads

Published

1994-07-03

How to Cite

Riis, S. (1994). Count(q) does not imply Count(p). BRICS Report Series, 1(21). https://doi.org/10.7146/brics.v1i21.21646