8 problems

Let $M$ be a structure whose first-order theory has the independence property witnessed by an affine quantifier-free formula. Let $(\Omega,\mu)$ be a diffuse probability space, and…

Let $\Gamma$ be the arithmetic group specified by the local-to-global conjecture above, fix a non-principal ultrafilter $\mathcal{N}$ on the natural numbers, and let $O^*$ and…

Let $N$ be a non-Gamma $\rm II_1$ factor with the Haagerup property. For an ultrafilter $\mathcal{U}$ on a set $I$, let $N^\mathcal{U}$ be the corresponding ultrapower, and let the…

Let $\Phi$ be the homomorphism from automorphisms of the Weyl algebra to polynomial symplectomorphisms constructed by reduction modulo an infinite prime, restriction to centers, in…

Boolean-ultrapower saturation conjecture. There exist such $cappa$, $cB$, $U$, $cM$, and $cN$ for which

Let $(n_i)_{i\to\theta}$ and $(m_j)_{j\to\theta'}$ be families of natural numbers, and let $\theta$ and $\theta'$ be ultrafilters. Write $\tau$ for the corresponding ultralimit of…

Representable-ring ultraproduct conjecture. Every subdirectly irreducible representable $*$-regular ring can be embedded into a homomorphic image of a regular $*$-subring of an ult…

The depth inequality conjecture. In ZFC,