Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Problem 1159
Statement. Determine whether there exists a constant such that the following holds.
Let be a finite projective plane. Must there exist a set of points such that for all lines ?
Status. Open.
Source. erdosproblems.com/1159, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #1159, https://www.erdosproblems.com/1159.
References.
- [ESS83] Erdős, P. and Silverman, R. and Stein, A., Intersection properties of families containing sets of nearly the same size. Ars Combin. (1983), 247-259.
- [Er81] Erdős, P., On the combinatorial problems which I would most like to see solved. Combinatorica (1981), 25-42.
- [Va99] Various, Some of Paul's favorite problems. Booklet produced for the conference "Paul Erdős and his mathematics", Budapest, July 1999 (1999).
Formalization. Statement in formal-conjectures.
Progress
Not yet compiled.
Known Results
Not yet compiled.
Linked library material
These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.
- erdos_1981_combinatorial_problems_which_i_would_most
- erdos_1983_intersection_properties_families_containing_sets_nearly
- erdos_1983_intersection_properties_families_containing_sets_nearly / corollary_p255
- erdos_1983_intersection_properties_families_containing_sets_nearly / theorem_1
- erdos_1983_intersection_properties_families_containing_sets_nearly / theorem_2
Linked from (8)
Problem 664Alon's partial design with no bounded blocking setSet Systems, Designs and Hypergraphsset_systems/erdos_1981_combinatorial_problems_which_i_would_mostset_systems/erdos_1983_intersection_properties_families_containing_sets_nearlyCorollary (p. 255): for every c > 2e, a projective plane of large order n has property B(c log n)Theorem 1 (p. 248): a family of at most n^b sets of sizes between a_1 n and a_2 n has a set S meeting each member in between c_1 n^delta log^s n and c_2 n^delta log^s n pointsTheorem 2 (p. 258): with k, k' as in Lemma 8 and j <= n/(2k'+1), a projective plane of order n has property B(n+2-j)
Graph