Hostname: page-component-76fb5796d-x4r87 Total loading time: 0 Render date: 2024-04-26T06:46:11.528Z Has data issue: false hasContentIssue false

NOTES ON SOME ERDŐS–HAJNAL PROBLEMS

Part of: Set theory

Published online by Cambridge University Press:  12 August 2021

PÉTER KOMJÁTH*
Affiliation:
INSTITUTE OF MATHEMATICS EÖTVÖS UNIVERSITYBUDAPEST, PÁZMÁNY P. S. 1/C, 1117, HUNGARYE-mail:peter.komjath@gmail.com

Abstract

We make comments on some problems Erdős and Hajnal posed in their famous problem list. Let X be a graph on $\omega _1$ with the property that every uncountable set A of vertices contains a finite set s such that each element of $A-s$ is joined to one of the elements of s. Does then X contain an uncountable clique? (Problem 69) We prove that both the statement and its negation are consistent. Do there exist circuitfree graphs $\{X_n:n<\omega \}$ on $\omega _1$ such that if $A\in [\omega _1]^{\aleph _1}$ , then $\{n<\omega :X_n\cap [A]^2=\emptyset \}$ is finite? (Problem 61) We show that the answer is yes under CH, and no under Martin’s axiom. Does there exist $F:[\omega _1]^2\to 3$ with all three colors appearing in every uncountable set, and with no triangle of three colors. (Problem 68) We give a different proof of Todorcevic’ theorem that the existence of a $\kappa $ -Suslin tree gives $F:[\kappa ]^2\to \kappa $ establishing $\kappa \not \to [\kappa ]^2_{\kappa }$ with no three-colored triangles. This statement in turn implies the existence of a $\kappa $ -Aronszajn tree.

Type
Article
Copyright
© Association for Symbolic Logic 2021

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Erdős, P. and Hajnal, A., Unsolved problems in set theory. Proceedings of Symposia in Pure Mathematics, XIII, Providence, RI, 1971, pp. 1748.10.1090/pspum/013.1/0280381CrossRefGoogle Scholar
Erdős, P. and Hajnal, A., Unsolved and solved problems in set theory, Proceedings of the Tarski Symposium (L. A. Henkin, editor), American Mathematical Society, Providence, 1974, 269287.10.1090/pspum/025/0357122CrossRefGoogle Scholar
Shelah, S., Colouring without triangles and partition relations. Israel Journal of Mathematics, vol. 20 (1975), pp. 112.10.1007/BF02756751CrossRefGoogle Scholar
Shelah, S., Can you take Solovay’s inaccessible away? Israel Journal of Mathematics, vol. 48 (1984), pp. 147.10.1007/BF02760522CrossRefGoogle Scholar
Todorcevic, S., Trees, subtrees, and order types . Annals of Mathematics Logic, vol. 20 (1981), pp. 233268.10.1016/0003-4843(81)90005-XCrossRefGoogle Scholar
Todorcevic, S., Forcing positive partition relations. Transactions of the American Mathematical Society, vol. 280 (1983), pp. 703720.10.1090/S0002-9947-1983-0716846-0CrossRefGoogle Scholar
William, J., Mitchell: Aronszajn trees and the independence of the transfer property. Annals of Pure and Applied Logic, vol. 5 (1972/1973), pp. 2146.Google Scholar