A sheaf representation and duality for finitely presented Heyting algebras

DOI10.2307/2275765zbMath0837.03047OpenAlexW2142413595MaRDI QIDQ4858826

Silvio Ghilardi, Marek W. Zawadowski

Publication date: 13 May 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275765

zbMATH Keywords

equivalence relationsembeddingdualitytopos of sheavesEhrenfeucht gamesbi-Heyting categoryLawvere condition

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Theories (e.g., algebraic theories), structure, and semantics (18C10) Metamathematics of constructive systems (03F50)

Related Items

An algebraic theory of normal forms ⋮ Undefinability of propositional quantifiers in the modal system S4 ⋮ Model completions and r-Heyting categories ⋮ Uniform interpolation and propositional quantifiers in modal logics ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Interpolation Property on Visser's Formal Propositional Logic ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete ⋮ The Lyndon property and uniform interpolation over the Grzegorczyk logic ⋮ An open mapping theorem for finitely copresented Esakia spaces ⋮ Gödel algebras free over finite distributive lattices ⋮ Pitts' quantifiers are not topological quantification ⋮ Rules and arithmetics ⋮ An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus ⋮ On modal \(\mu\)-calculus with explicit interpolants ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Interpolation properties for provability logics GL and GLP ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Combination of uniform interpolants via Beth definability ⋮ Combined covers and Beth definability

Cites Work

• Unnamed Item
• Unnamed Item
• Descent and duality
• An algebraic theory of normal forms
• Free Heyting algebras
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Representation of Distributive Lattices by means of ordered Stone Spaces