Find link

language:

Find link is a tool written by Edward Betts.

searching for Boolean prime ideal theorem 1 found (117 total)

alternate case: boolean prime ideal theorem

Model theory (9,065 words) [view diff] exact match in snippet view article find links to article

equivalent over Zermelo–Fraenkel set theory without choice to the Boolean prime ideal theorem. Other results in model theory depend on set-theoretic axioms