We stand with Ukraine  

John L. Bell

Affiliations:
  • University of Western Ontario, Canada


According to our database1, John L. Bell authored at least 26 papers between 1976 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A parametrized axiomatization for a large number of restricted second-order logics.
[BibTeX]
[DOI]
Guillermo Badia
,
John L. Bell
J. Log. Comput., 2024

2023
Recollections of logicians, mathematicians and philosophers.
[BibTeX]
[DOI]
John L. Bell
Log. J. IGPL, November, 2023

Axiomatization and Completeness for Some Restricted Second-Order Languages.
[BibTeX]
[DOI]
John L. Bell
J. Multiple Valued Log. Soft Comput., 2023

2012
Types, Sets, and Categories.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
John L. Bell
Math. Log. Q., 2008

2007
Incompleteness in a General Setting.
[BibTeX]
[DOI]
John L. Bell
Bull. Symb. Log., 2007

2003
Some new intuitionistic equivalents of Zorn's Lemma.
[BibTeX]
[DOI]
John L. Bell
Arch. Math. Log., 2003

2000
Sets and Classes as Many.
[BibTeX]
[DOI]
John L. Bell
J. Philos. Log., 2000

1999
Boolean Algebras and Distributive Lattices Treated Constructively.
[BibTeX]
[DOI]
John L. Bell
Math. Log. Q., 1999

Finite Sets and Frege Structures.
[BibTeX]
[DOI]
John L. Bell
J. Symb. Log., 1999

Frege's Theorem in A Constructive Setting.
[BibTeX]
[DOI]
John L. Bell
J. Symb. Log., 1999

1997
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories.
[BibTeX]
[DOI]
John L. Bell
J. Symb. Log., 1997

1996
Elementary Propositions and Independence.
[BibTeX]
[DOI]
John L. Bell
,
William Demopoulos
Notre Dame J. Formal Log., 1996

Precovers, Modalities and Universal Closure Operators in a Topos.
[BibTeX]
[DOI]
John L. Bell
,
Silvia Gebellato
Math. Log. Q., 1996

Polymodal Lattices and Polymodal Logic.
[BibTeX]
[DOI]
John L. Bell
Math. Log. Q., 1996

1995
Book reviews.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
John L. Bell
J. Symb. Log., 1995

1994
Fregean Extensions of First-Order Theories.
[BibTeX]
[DOI]
John L. Bell
Math. Log. Q., 1994

1993
Hilbert's ϵ-Operator in Intuitionistic Type Theories.
[BibTeX]
[DOI]
John L. Bell
Math. Log. Q., 1993

Hilbert's ɛ-operator and classical logic.
[BibTeX]
[DOI]
John L. Bell
J. Philos. Log., 1993

1988
Toposes and local set theories - an introduction.
[BibTeX]
John L. Bell
Clarendon Press, ISBN: 978-0-19-853274-3, 1988

1983
On the Strength of the Sikorski Extension Theorem for Boolean Algebras.
[BibTeX]
[DOI]
John L. Bell
J. Symb. Log., 1983

1981
Isomorphism of Structures in S-Toposes.
[BibTeX]
[DOI]
John L. Bell
J. Symb. Log., 1981

1977
A course in mathematical logic.
[BibTeX]
John L. Bell
,
Moshé Machover
North-Holland, ISBN: 978-0-7204-2844-5, 1977

1976
A Note on Generic Ultrafilters.
[BibTeX]
[DOI]
John L. Bell
Math. Log. Q., 1976

Universal Complete Boolean Algebras and Cardinal Collapsing.
[BibTeX]
[DOI]
John L. Bell
Math. Log. Q., 1976


  Loading...