The 3D incompressible magnetohydrodynamic equations with fractional partial dissipation

The magnetohydrodynamic (MHD) equations have played pivotal roles in the study of many phenomena in geophysics, astrophysics, cosmology and engineering. The fundamental problem of whether or not classical solutions of the 3D MHD equations can develop finite-time singularities remains an outstanding open problem. Mathematically this problem is supercritical in the sense that the 3D MHD equations do not have enough dissipation. If we replace the standard velocity dissipation Δu and the magnetic diffusion Δb by $?{(?\mathrm{\Delta })}^{\alpha }u$ and $?{(?\mathrm{\Delta })}^{\beta }b$, respectively, the resulting equations with $\alpha \ge \frac{5}{4}$ and $\alpha +\beta \ge \frac{5}{2}$ then always have global classical solutions. An immediate issue is whether or not the hyperdissipation can be further reduced. This paper shows that the global regularity still holds even if there is only directional velocity dissipation and horizontal magnetic diffusion $?{(?{\mathrm{\Delta }}_h)}^{\frac{5}{4}}b$, where ${\mathrm{\Delta }}_h={?}_1^2+{?}_2^2$.     

Finite computable dimension and degrees of categoricity

We first give an example of a rigid structure of computable dimension 2 such that the unique isomorphism between two non-computably isomorphic computable copies has Turing degree strictly below ${\mathbf{0}}^{″}$, and not above ${\mathbf{0}}^{\prime }$. This gives a first example of a computable structure with a degree of categoricity that does not belong to an interval of the form $[{\mathbf{0}}^{(\alpha )},{\mathbf{0}}^{(\alpha +1)}]$ for any computable ordinal α. We then extend the technique to produce a rigid structure of computable dimension 3 such that if ${\mathbf{d}}_0$, ${\mathbf{d}}_1$, and ${\mathbf{d}}_2$ are the degrees of isomorphisms between distinct representatives of the three computable equivalence classes, then each ${\mathbf{d}}_i<{\mathbf{d}}_0\oplus {\mathbf{d}}_1\oplus {\mathbf{d}}_2$. The resulting structure is an example of a structure that has a degree of categoricity, but not strongly.     

Projective well orders and coanalytic witnesses

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable P-points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}={\mathrm{?}}_1<2^{{\mathrm{?}}_0}={\mathrm{?}}_2$, each of $\mathfrak{a}$, $\mathfrak{u}$, $\mathfrak{i}$ has a ${\mathrm{\Pi }}_1^1$ witness and there is a ${\mathrm{\Delta }}_3^1$ well-order of the reals. Note that both the complexity of the witnesses of the above combinatorial cardinal characteristics, as well as the complexity of the well-order are optimal. In addition, we show that the existence of a ${\mathrm{\Delta }}_3^1$ well-order of the reals is consistent with $\mathfrak{c}={\mathrm{?}}_2$ and each of the following: $\mathfrak{a}=\mathfrak{u}<\mathfrak{i}$, $\mathfrak{a}=\mathfrak{i}<\mathfrak{u}$, $\mathfrak{a}<\mathfrak{u}=\mathfrak{i}$, where the smaller cardinal characteristics have co-analytic witnesses.Our methods allow the preservation of only sufficiently definable witnesses, which significantly differs from other preservation results of this type.