3 problems

Monotone-operator classification conjecture. For some $\beta\preceq\alpha$ and some true sentence $\varphi$, for every $\psi$ such that $T+\psi\vdash\varphi$,

Let $L$ be a number field with Galois group $S_4$ or $A_4$ over $\mathbb{Q}$. Let $K_1$ be a quartic subfield and $K_2$ its cubic resolvent. For a number field $K$, write…

Let $\mathcal T$ be the class of theories under consideration, and let $\Sigma^b_1RFN_T(\bar n)$ denote the finite $\Sigma^b_1$ reflection principle for $T$. Nonuniform reflection…