Weak Compactness and $\Pi^1_1$ Indescribability

Pull Requests

New Pull Request
Rejected proof: Weak Compactness and $\Pi^1_1$ Indescribability Proof
#22 · opened by admin