Precovers, Modalities and Universal Closure Operators in a Topos

DOI10.1002/MALQ.19960420124zbMath0866.03034OpenAlexW1967697288MaRDI QIDQ4888340

Silvia Gebellato

Publication date: 28 July 1996

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19960420124

zbMATH Keywords

toposmodalitieslocal set theoryLawvere-Tierney topologiesuniversal closure operators

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item

This page was built for publication: Precovers, Modalities and Universal Closure Operators in a Topos