| |
| 2008 | ||
|---|---|---|
| 11 | EE | John L. Bell: The axiom of choice and the law of excluded middle in weak set theories. Math. Log. Q. 54(2): 194-201 (2008) |
| 2003 | ||
| 10 | EE | John L. Bell: Some new intuitionistic equivalents of Zorn's Lemma. Arch. Math. Log. 42(8): 811-814 (2003) |
| 1999 | ||
| 9 | John L. Bell: Frege's Theorem in A Constructive Setting. J. Symb. Log. 64(2): 486-488 (1999) | |
| 8 | John L. Bell: Finite Sets and Frege Structures. J. Symb. Log. 64(4): 1552-1556 (1999) | |
| 7 | John L. Bell: Boolean Algebras and Distributive Lattices Treated Constructively. Math. Log. Q. 45: 135-143 (1999) | |
| 1996 | ||
| 6 | John L. Bell: Polymodal Lattices and Polymodal Logic. Math. Log. Q. 42: 219-233 (1996) | |
| 5 | John L. Bell, Silvia Gebellato: Precovers, Modalities and Universal Closure Operators in a Topos. Math. Log. Q. 42: 289-299 (1996) | |
| 4 | John L. Bell, William Demopoulos: Elementary Propositions and Independence. Notre Dame Journal of Formal Logic 37(1): 112-124 (1996) | |
| 1994 | ||
| 3 | John L. Bell: Fregean Extensions of First-Order Theories. Math. Log. Q. 40: 27-30 (1994) | |
| 1993 | ||
| 2 | John L. Bell: Hilbert's epsilon-Operator in Intuitionistic Type Theories. Math. Log. Q. 39: 323-337 (1993) | |
| 1983 | ||
| 1 | John L. Bell: On the Strength of the Sikorski Extension Theorem for Boolean Algebras. J. Symb. Log. 48(3): 841-846 (1983) | |
| 1 | William Demopoulos | [4] |
| 2 | Silvia Gebellato | [5] |