Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic.

Satoshi Nakata

Browse the full CSL paper archive.