John L. Bell

According to our database, John L. Bell authored at least 23 papers between 1977 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Recollections of logicians, mathematicians and philosophers.

John L. Bell

Log. J. IGPL, November, 2023

Axiomatization and Completeness for Some Restricted Second-Order Languages.

John L. Bell

J. Multiple Valued Log. Soft Comput., 2023

2012

Types, Sets, and Categories.

John L. Bell

Proceedings of the Sets and Extensions in the Twentieth Century, 2012

2008

The axiom of choice and the law of excluded middle in weak set theories.

John L. Bell

Math. Log. Q., 2008

2007

Incompleteness in a General Setting.

John L. Bell

Bull. Symb. Log., 2007

2003

Some new intuitionistic equivalents of Zorn's Lemma.

John L. Bell

Arch. Math. Log., 2003

2000

Sets and Classes as Many.

John L. Bell

J. Philos. Log., 2000

1999

Boolean Algebras and Distributive Lattices Treated Constructively.

John L. Bell

Math. Log. Q., 1999

Finite Sets and Frege Structures.

John L. Bell

J. Symb. Log., 1999

Frege's Theorem in A Constructive Setting.

John L. Bell

J. Symb. Log., 1999

1997

Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories.

John L. Bell

J. Symb. Log., 1997

1996

Elementary Propositions and Independence.

John L. Bell, William Demopoulos

Notre Dame J. Formal Log., 1996

Precovers, Modalities and Universal Closure Operators in a Topos.

John L. Bell, Silvia Gebellato

Math. Log. Q., 1996

Polymodal Lattices and Polymodal Logic.

John L. Bell

Math. Log. Q., 1996

1995

Book reviews.

David Kemmerer, Kenneth Aizawa, Donald H. Berman, Stacey L. Edgar, James E. Tomberlin, J. Christopher Maloney, John L. Bell, Stuart C. Shapiro, Georges Rey, Morton L. Schagrin, Robert A. Wilson, Patrick J. Hayes

Minds Mach., 1995

Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined.

John L. Bell

J. Symb. Log., 1995

1994

Fregean Extensions of First-Order Theories.

John L. Bell

Math. Log. Q., 1994

1993

Hilbert's ϵ-Operator in Intuitionistic Type Theories.

John L. Bell

Math. Log. Q., 1993

Hilbert's ɛ-operator and classical logic.

John L. Bell

J. Philos. Log., 1993

1988

Toposes and local set theories - an introduction.

John L. Bell

Clarendon Press, ISBN: 978-0-19-853274-3, 1988

1983

On the Strength of the Sikorski Extension Theorem for Boolean Algebras.

John L. Bell

J. Symb. Log., 1983

1981

Isomorphism of Structures in S-Toposes.

John L. Bell

J. Symb. Log., 1981

1977

A course in mathematical logic.

John L. Bell, Moshé Machover

North-Holland, ISBN: 978-0-7204-2844-5, 1977