6 citations · 6 across the 2 of their papers we have counts for
2 papers
math.LO2022
A parametrised axiomatization for a large number of restricted second-order logics
Guillermo Badia, John Lane Bell
By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable su…
gr-qc2003★ 6 cited
Cover Schemes, Frame-Valued Sets and Their Potential Uses in Spacetime Physics
John L. Bell
The immensely fruitful concept of Grothendieck topology or covering issued from the efforts of algebraic geometers to study "sheaf-like" objects defined on categories more general…