 | 2008 |
|---|
| 12 |       | 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) |
| 2007 |
|---|
| 11 | | John L. Bell:
Incompleteness in a General Setting.
Bulletin of Symbolic Logic 13(1): 21-30 (2007) |
| 2003 |
|---|
| 10 | | 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) |
