4 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…

Let $d$ be a fixed positive integer, and let $\mathbf{S}$ be a unimodal normal modal logic system. A system is finitely axiomatizable if it can be axiomatized by a finite set of fo…