Skip to main content
3 events
when toggle format what by license comment
Oct 13, 2012 at 21:57 vote accept CommunityBot
Oct 12, 2012 at 9:20 comment added user5810 So, the answer is yes, if Boolean Prime Ideal Theorem. $\:$ However, that's a simple enough use of it for me to suspect that an example can be proven in ZF. $\;\;$
Oct 12, 2012 at 8:24 history answered Sidney Raffer CC BY-SA 3.0