This is a preview. Log in through your library . Abstract We characterize the (κ, Λ, < μ)-distributive law in Boolean algebras in terms of cut and choose games $\scr{G}_{<\mu}^{\kappa}(\lambda)$ , ...
This is a preview. Log in through your library . Abstract We show that there are plenty of infinite sets that satisfy the omniscience principle, in a minimalistic setting for constructive mathematics ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback