Le théorème booléen (fort) suivant (MIT) pour les algèbres idéales maximales est donc équivalent à BPI:
Ainsi, le théorème booléen (fort) (fort) suivant pour les algèbres idéales maximales est équivalent à BPI: