2 citations · 3 across the 2 of their papers we have counts for
2 papers
math.LO2011★ 1 cited
The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis
J. Benavides
An introduction is given to the logic of sheaves of structures and to set theoretic forcing constructions based on this logic. Using these tools, it is presented an alternative pro…
math-ph2011★ 2 cited
Sheaf Logic, Quantum Set Theory and the Interpretation of Quantum Mechanics
J. Benavides
Based on the Sheaf Logic approach to set theoretic forcing, a hierarchy of Quantum Variable Sets is constructed which generalizes and simplifies the analogous construction develope…