An application of open maps to categorical logic

DOI10.1016/0022-4049(83)90047-6zbMath0521.03051OpenAlexW2078108932MaRDI QIDQ1055409

Andrew M. Pitts

Publication date: 1983

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(83)90047-6

zbMATH Keywords

Grothendieck toposesfirst-order logicinterpolation theoremamalgamationHeyting pretoposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Other constructive mathematics (03F65)

Related Items (16)

Interpolation property for bicartesian closed categories ⋮ Nominal logic, a first order theory of names and binding ⋮ Saturated models of intuitionistic theories ⋮ Lindenbaum algebras of intuitionistic theories and free categories ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ Conceptual completeness for first-order intuitionistic logic: An application of categorical logic ⋮ On the semantics of the universal quantifier ⋮ A first order logic of effects ⋮ Continuity spaces: Reconciling domains and metric spaces ⋮ On duality and model theory for polyadic spaces ⋮ A Calculus of Terms for Coalgebras of Polynomial Functors ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ Ultrasheaves and double negation ⋮ Generalising canonical extension to the categorical setting ⋮ Amalgamation and interpolation in the category of Heyting algebras

Cites Work

• Amalgamation and interpolation in the category of Heyting algebras
• Open maps of toposes
• Indexed categories and their applications
• Completeness results for intuitionistic and modal logic in a categorical setting
• Tripos theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An application of open maps to categorical logic