6 problems

Arithmetic inclusion conjecture. There holds the inclusion

Let $\mathscr{L}\in\mathbb{Q}(x)\langle\partial_x\rangle$ be the differential operator attached to the paper's linear differential equation, and let $\mathscr{L}_p$ denote its redu…

Induction-with-inequality hypothesis. The introduced structure $d4c^+$ is a model of $d400(\ne)$.

Characterizations and reductions conjecture. The following characterizations and reductions hold:

Let $T$ be a theory, and let ${\mathrm{RC}^\nabla\hspace{-0.7pt}}$ be the reflection calculus with modalities $\Diamond_n$ and $\nabla_n$. An arithmetical interpretation $*$ in…

Consider the displayed numerical equality. Equality claim. The following equality holds: … This is an elementary arithmetic identity and is therefore solved.