Topologies for intermediate logics

DOI10.1002/MALQ.201200059zbMath1341.03035arXiv1205.2547OpenAlexW2594550044MaRDI QIDQ2922497

Olivia Caramello

Publication date: 10 October 2014

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

Full work available at URL: https://arxiv.org/abs/1205.2547

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• De Morgan classifying toposes
• De Morgan's law and the theory of fields
• Sheaves in geometry and logic: a first introduction to topos theory
• The Lee identities in topoi. I
• Universal models and definability

This page was built for publication: Topologies for intermediate logics