John L. Bell Some new intuitionistic equivalents of Zorn's Lemma. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:8, pp:811-814 [Journal]

John L. Bell On the Strength of the Sikorski Extension Theorem for Boolean Algebras. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:3, pp:841-846 [Journal]

John L. Bell Hilbert's epsilon-Operator in Intuitionistic Type Theories. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 1993, v:39, n:, pp:323-337 [Journal]