Separation of $\mathsf{WKL}_0$ from $\mathsf{ACA}_0$ by an $\omega$-Model - Androma

Separation of $\mathsf{WKL}_0$ from $\mathsf{ACA}_0$ by an $\omega$-Model

Separation of $\mathsf{WKL}_0$ from $\mathsf{ACA}_0$ by an $\omega$-Model

No pull requests yet

Pull requests let you propose changes to this theorem's content.

Create Pull Request