Amalgamation and interpolation in the category of Heyting algebras (Q1053098)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Amalgamation and interpolation in the category of Heyting algebras |
scientific article |
Statements
Amalgamation and interpolation in the category of Heyting algebras (English)
0 references
1983
0 references
categorical formulations of Craig interpolation theorem
0 references
categorical formulations of Beth definability theorem
0 references
lattice of filters in a lattice
0 references
category of Heyting algebras and homomorphisms
0 references
category of locales and open maps
0 references
Galois theory of Grothendieck
0 references
intuitionistic propositional logic
0 references
category of distributive lattices
0 references
category of frames
0 references
stability of monomorphisms under pushout
0 references
