Pages that link to "Item:Q1055409"
From MaRDI portal
The following pages link to An application of open maps to categorical logic (Q1055409):
Displaying 17 items.
- Ultrasheaves and double negation (Q558435) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- Amalgamation and interpolation in the category of Heyting algebras (Q1053098) (← links)
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Interpolation property for bicartesian closed categories (Q1337501) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- A first order logic of effects (Q1390955) (← links)
- Continuity spaces: Reconciling domains and metric spaces (Q1391864) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- On duality and model theory for polyadic spaces (Q6139255) (← links)
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures (Q6612780) (← links)
