Pages that link to "Item:Q1053098"
From MaRDI portal
The following pages link to Amalgamation and interpolation in the category of Heyting algebras (Q1053098):
Displayed 15 items.
- Ultrasheaves and double negation (Q558435) (← links)
- An application of open maps to categorical logic (Q1055409) (← 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)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Construction of a monadic Heyting algebra in a logos (Q2373968) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745) (← links)
- (Q4883943) (← links)
- On the uniqueness of cellular injectives (Q5242503) (← links)
- On duality and model theory for polyadic spaces (Q6139255) (← links)