3 problems

The paper studies the weak regularity principle $WR(\Sigma_{n+1}\wedge\Pi_{n+1})$ and its relationship with induction: for each $n\in\mathbb{N}$, this principle is equivalent to…

Independence conjecture. The map $R_{M,P}^G$ is independent of the choice of $P\in\Pi(M)$.

Induction conjecture. There exists $W\in{\rm Spec}({\cal U}_{\chi_{L'}}(L'))$ such that