Count(q) versus the Pigeon-Hole Principle

Søren Riis


For each p <= 2 there exist a model M* of IDelta_{0}(alpha) which satisfies the Count(p) principle. Furthermore if p contain all prime factors of q there exist n, r in M* and a bijective map f in Set(M*) mapping {1, 2, ..., n} onto {1,2,...,n+q^r}.

A corollary is a complete classification of the Count(q) versus Count(p) problem. Another corollary solves an open question by M. Ajtai.

Full Text:


This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.

ISSN: 0909-0878 

Hosted by the Royal Danish Library and Aarhus University Library