3 problems

Let $\mathfrak{W}_\bullet$ be the pointed Weihrauch lattice equipped with meet $\sqcap$, product $\times$, and unit $1$, and let the paper's partial axiomatization be given by the…

Let $\mathfrak{W}$ be the Weihrauch lattice equipped with meet $\sqcap$, product $\times$, and unit $1$, and consider the partial axiomatization of inequalities over…

Let ${\sf L}_3$ be the logic associated with $\beta(\omega^3)$, and let ${\sf S4.1}$ be the base logic. The Fine–Jankov formula of a finite frame is the characteristic formula used…