1 problem

Let $\textup{\textsf{NIN}}_{\textup{\textsf{alt}}}$ denote the alternative formulation of the uncountability of the real numbers, and let $\textup{\textsf{ACA}}_{0}^{\omega}$ and…