Amalgamation and interpolation in the category of Heyting algebras (Q1053098)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Amalgamation and interpolation in the category of Heyting algebras |
scientific article; zbMATH DE number 3817949
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Amalgamation and interpolation in the category of Heyting algebras |
scientific article; zbMATH DE number 3817949 |
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
