1 problem

The square-sequence conjecture for $L(\mathcal{A}^\infty)$
Let $\Theta^\infty=\Theta^{L(\Gamma^\infty,\mathbb{R})}$ and let $L(\mathcal{A}^\infty)$ be the model generated by $\mathcal{A}^\infty$ . Square-sequence conjecture. … The claim is…
opendeterminacy inner-model-theory square-principles
1 response
115

The square-sequence conjecture for L(A∞)L(\mathcal{A}^\infty)L(A∞)