Mathematics Problem Archive

For any finite sets $X$ and $Y$ of published mathematical theorems expressible in second-order arithmetic, is either $\mathsf{RCA}_0+X$ interpretable ...

Are the following statements equivalent to $\Pi^1_1\text{-}\mathsf{CA}_0$? (i) If countable torsion abelian groups $G,H$ satisfy $G\oplus G\cong H\opl...

Determine the reverse-mathematical strength of Alexandroff's one-point compactification theorem for countably based MF spaces....

Determine the reverse-mathematical strength of the assertion that a proper MF space is metrizable if and only if it is regular....

Over $\mathsf{RCA}_0$, does the Furstenberg–Zimmer structure theorem imply $\Pi^1_1\text{-}\mathsf{CA}_0$?...

For an ordinal $\alpha$, determine the length (maximal order type) of the well-quasi-order $L_\alpha$ of countable linear orders of Hausdorff rank bel...

Determine the reverse-mathematical strengths of Laver's labeled-linear-order theorem $\mathsf{LAV}$ and the Nash–Williams bqo transfinite-sequence the...

Is weak-$L_{\omega_1,\omega}$-$\mathsf{CA}$ equivalent to weak-$\Sigma^1_1$-$\mathsf{AC}_0$?...

Is the open mapping theorem for separable Banach spaces provable in $\mathsf{RCA}_0$, or at least in $\mathsf{WKL}_0$?...

Determine the exact reverse-mathematical strength of the Krein–Šmulian theorem for separable Banach spaces....

Is Szemerédi's theorem provable in $\mathsf{ACA}_0$? More generally, determine its reverse-mathematical strength....