Boolean prime ideal theorem

E1215846 UNEXPLORED

The Boolean prime ideal theorem is a set-theoretic principle weaker than the full axiom of choice that guarantees the existence of prime ideals in Boolean algebras and has important applications in topology, logic, and algebra.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Boolean prime ideal theorem canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Tychonoff theorem for products of compact spaces → relatedTo → Boolean prime ideal theorem ⓘ