2
$\begingroup$

Are there infinite cardinals $\kappa < \lambda$ such that here is a collection ${\cal A}$ of subsets of $\lambda$ with the following properties:

  1. $|{\cal A}| = 2^\lambda$, and

  2. $A\neq B\in {\cal A}$ implies $|A\cap B|\leq \kappa$.

$\endgroup$
3
  • 7
    $\begingroup$ There is a vast literature on this, e.g., J. E. Baumgartner: Almost-disjoint sets the dense set problem and the partition calculus, Annals of Mathematical Logic, 9(1976), 401-439. $\endgroup$ Commented Jul 30, 2017 at 7:23
  • $\begingroup$ Thanks for this pointer! Unfortunately I dont have access to it. Does it answer my question? $\endgroup$ Commented Aug 1, 2017 at 7:17
  • 1
    $\begingroup$ You do have access: sciencedirect.com/science/article/pii/0003484376900188 $\endgroup$ Commented Aug 9, 2017 at 10:36

1 Answer 1

1
$\begingroup$

Here's a quick observation: suppose $2^\kappa=\kappa^+$. Then we can mimic the construction of an almost disjoint set of sets of natural numbers of size continuum: to each map $p: \kappa^+\rightarrow 2$, we associate the set of small approximations $A_p=\{p\upharpoonright\alpha:\alpha<\kappa^+\}$. By $2^\kappa=\kappa^+$ we have a bijection from partial maps from $\kappa^+$ to $2$ with bounded domain, and $\kappa^+$ itself; so we may replace each $A_p$ with a corresponding $B_p\subseteq \kappa^+$. The collection $\{B_p: p\in 2^{\kappa^+}\}$ is a collection of subsets of subsets of $\kappa^+$, with cardinality $2^{\kappa^+}$, with pairwise intersections of sizes $\le\kappa$.

So in order to have any hope for your principle to fail, we would need to work in a universe where GCH fails everywhere; and the global failure of GCH has large cardinal strength.

$\endgroup$
7
  • $\begingroup$ I thought a $\Delta$-system was a family of sets whose pairwise intersections were identical. Did the nomenclature change, or was I always wrong about that? $\endgroup$
    – bof
    Commented Aug 9, 2017 at 3:22
  • $\begingroup$ @bof The body of the question does not use the word "$\Delta$-system," and the way the second condition is phrased makes it sound very not $\Delta$-systemy; I'm taking the body over the title here. The OP of course can indicate whether I'm actually addressing their question. $\endgroup$ Commented Aug 9, 2017 at 3:59
  • $\begingroup$ Thanks @NoahSchweber! 1) I would like to wait for a while till I accept the answer to see whether somebody comes up constructing ${\cal A}$ with the disired properties within ${\sf ZFC}$; 2)Re: Terminology, I apologize if I used $\Delta$-system in a wrong way, but I'm reluctant to change the title. $\endgroup$ Commented Aug 9, 2017 at 11:53
  • $\begingroup$ @DominicvanderZypen Can you clarify what is the actual connection between this question and $\Delta$-systems? $\endgroup$ Commented Aug 29, 2017 at 17:22
  • $\begingroup$ Oh - I thought the set system I defined in the question is referred to as "$\Delta$-system". What is the correct term? - I'll change the title to "Set systems [...]" $\endgroup$ Commented Aug 30, 2017 at 7:05

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .