Topologies for intermediate logics

DOI10.1002/MALQ.201200059MaRDI QIDQ2922497zbMATH OpenOpenAlexFDO

Authors Olivia Caramello

Publication date 10 October 2014

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

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

Mathematics Subject Classification ID

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

Abstract: We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an elementary topos for a wide class of intermediate logics.

Recommendations

• scientific article; zbMATH DE number 3873298
• scientific article; zbMATH DE number 2154581
• scientific article; zbMATH DE number 3841822
• Intermediate logics and categories
• scientific article; zbMATH DE number 810107
• scientific article; zbMATH DE number 3963799
• scientific article; zbMATH DE number 5896226
• Intermediate logics and the de Jongh property
• On the rules of intermediate logics
• Topological interpretations of provability logic

Cites work

• De Morgan classifying toposes
• De Morgan's law and the theory of fields
• scientific article; zbMATH DE number 3695180 (Why is no real title available?)
• Sheaves in geometry and logic: a first introduction to topos theory
• The Lee identities in topoi. I
• Universal models and definability

Cited in

(6)

• Diagonal logic
• Intermediate logics and categories
• Characterization of Boolean topological logics. Short form: Boolean topological logics
• Internal logic of the H-B topos
• Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
• Intermediate logics and factors of the Medvedev lattice

This page was built for publication: Topologies for intermediate logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2922497)