Assume that , a recursive, binary relation on (the set of natural numbers), orders into type . Show that if is the th element of this order, then is not necessarily recursive.
L. Posa
Miklós Schweitzer Competition 1976.
Assume that , a recursive, binary relation on (the set of natural numbers), orders into type . Show that if is the th element of this order, then is not necessarily recursive.
L. Posa
Let be an infinite graph such that for any countably infinite vertex set there is a vertex , not in , joined to infinitely many elements of . Show that has a countably infinite vertex set such that contains uncountably infinitely many vertices joined to infinitely many elements of .
P. Erdos, A. Hajnal
Let denote the set of those natural numbers for which divides , where is the number of divisors of . Show that
a) for all sufficiently large ,
b) has density .
P. Erdos
Let be the ring of rational integers. Construct an integral domain satisfying the following conditions:
a) ;
b) no element of (only in ) is algebraic over (that is, not a root of a polynomial with coefficients in );
c) only has trivial endomorphisms.
E. Fried
Let , where the are arbitrary and the are nonzero complex numbers . Prove that
G. Halasz
Let , and let denote the order type of the set of rational numbers. Assume that with every rational number we associate a Lebesgue-measurable subset of measure of the interval . Prove the existence of a Lebesgue-measurable set of measure such that for every the set contains a subset of type .
M. Laczkovich
Let be regular functions on a domain of the complex plane, linearly independent over the complex field. Prove that the functions , are also linearly independent.
L. Lempert
Prove that the set of all linearly combinations (with real coefficients) of the system of polynomials is dense in .
J. Szabados
Let be a convex subset of the -dimensional space, and suppose that is obtained from by applying a positive central dilatation and then a translation. Suppose also that the sum of the volumes of and is , and Determine the supremum of the volume of the convex hull of taken for all such pairs of sets .
L. Fejes-Toth, E. Makai