In this series of two talks I will give an introduction to some of my recent research on the ineffable tree property. The ineffable tree property is a two cardinal combinatorial principle which can consistently hold at small cardinals. My recent work has been on generalizing results about the classical tree property to the setting of the ineffable tree property. The main theorem that I will work towards in these talks generalizes a theorem of Cummings and Foreman. From omega supercompact cardinals, Cummings and Foreman constructed a model where the tree property holds at all of the $\aleph_n$ with $1 < n < \omega$. I recently proved that in their model the $(\aleph_n,\lambda)$ ineffable tree property holds for all $n$ with $1 < n < \omega$ and $\lambda \geq \aleph_n$.

In this talk, I will review the regularity problem for
Korteweg-de Vries (KdV) equation on the line, and give a brief summary of
the sharp well-posedness and ill-posedness results. Then I will discuss a
possible way to get a-priori bounds and weak solution below the critical
threshold H^{-3/4}.

In this talk I will report on progress on the following two questions, the first posed by Cassels in 1961 and the second considered by Bashmakov in 1974. The first question is whether the elements of the Tate-Shafarevich group are innitely divisible when considered as elements of the Weil-Chatelet group. The second question concerns the intersection of the Tate-Shafarevich group with the maximal divisible subgroup of the Weil-Chatelet group. This is joint work with Jakob Stix.