An application of open maps to categorical logic
From MaRDI portal
Publication:1055409
DOI10.1016/0022-4049(83)90047-6zbMath0521.03051OpenAlexW2078108932MaRDI QIDQ1055409
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
Related Items
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