Count(q) versus the Pigeon-Hole Principle

Søren Riis

Abstract


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:

PDF


DOI: http://dx.doi.org/10.7146/brics.v1i26.21640
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.
OK


ISSN: 0909-0878 

Hosted by the Royal Danish Library and Aarhus University Library