A partition theorem for scattered order types
If phi is a scattered order type, mu a cardinal, then there exists a scattered order type psi such that psi->[phi]^1_{mu,aleph_0} holds.
math.LO↗
arXiv subjects
Peter Komjath
Publications and source records attributed to Peter Komjath.
Consistency of the existence of a 4-place function on aleph_2 with no independent subset of size k_n
It is consistent that there is a set mapping from the four-tuples of omega_n into the finite subsets with no free subsets of size t_n for some natural number t_n. For any n< omega it is consistent that there is a set mapping from the pairs of omega_n into the finite subsets with no infinite free sets.
math.LO↗
Coloring finite subsets of uncountable sets
It is consistent for every (1 <= n< omega) that (2^omega = omega_n) and there is a function (F:[omega_n]^{< omega}-> omega) such that every finite set can be written at most (2^n-1) ways as the union of two distinct monocolored sets. If GCH holds, for every such coloring there is a finite set that can be written at least (sum^n_{i=1}{n+i choose n}{n choose i}) ways as the union of two sets with the same color.
math.LO↗
On Taylor's problem
We describe some (countably many) classes K^{n,e} of finite graphs and prove that if lambda^{aleph_0}= lambda then every lambda^+-chromatic graph of cardinal lambda^+ contains, for some n, e, all members of K^{n,e} as subgraphs. On the other hand, it is consistent for every regular infinite cardinal kappa that there is a kappa^+-chromatic graph on kappa^+ that contains finite subgraphs only from K^{n,e} .
math.LO↗
Universal graphs without large cliques
We give some existence/nonexistence statements on universal graphs, which under GCH give a necessary and sufficient condition for the existence of a universal graph of size lambda with no K(kappa), namely, if either kappa is finite or cf(kappa)>cf(lambda). (Here K(kappa) denotes the complete graph on kappa vertices.) The special case when lambda^{< kappa}= lambda was first proved by F. Galvin. Next, we investigate the question that if there is no universal K(kappa)-free graph of size lambda then how many of these graphs embed all the other. It was known, that if lambda^{< lambda}= lambda (e.g., if lambda is regular and the GCH holds below lambda), and kappa = omega, then this number is lambda^+. We show that this holds for every kappa <= lambda of countable cofinality. On the other hand, even for kappa = omega_1, and any regular lambda >= omega_1 it is consistent that the GCH holds below lambda, 2^{lambda} is as large as we wish, and the above number is either lambda^+ or 2^{lambda}, so both extremes can actually occur.
math.LO↗
On uniformly antisymmetric functions
We show that there is always a uniformly antisymmetric f:A-> {0,1} if A subset R is countable. We prove that the continuum hypothesis is equivalent to the statement that there is an f:R-> omega with |S_x| <= 1 for every x in R. If the continuum is at least aleph_n then there exists a point x such that S_x has at least 2^n-1 elements. We also show that there is a function f:Q-> {0,1,2,3} such that S_x is always finite, but no such function with finite range on R exists
math.LO↗