An application of open maps to categorical logic

DOI10.1016/0022-4049(83)90047-6MaRDI QIDQ1055409zbMATH OpenOpenAlexFDO

Authors 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

first-order logicamalgamationinterpolation theoremGrothendieck toposesHeyting pretoposes

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3836032 (Why is no real title available?)
• scientific article; zbMATH DE number 3710374 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Amalgamation and interpolation in the category of Heyting algebras
• Completeness results for intuitionistic and modal logic in a categorical setting
• Indexed categories and their applications
• Open maps of toposes
• Tripos theory

Cited in

(17)

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

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

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