๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Algebraic closure operators and strong amalgamation bases

โœ Scribed by Paul C. Eklof

Book ID
112760553
Publisher
Springer
Year
1974
Tongue
English
Weight
528 KB
Volume
4
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On many-sorted algebraic closure operato
On many-sorted algebraic closure operators
โœ Juan Climent Vidal; Juan Soliveres Tur ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 96 KB

## Abstract A theorem of Birkhoffโ€Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for manyโ€sorted sets, i.e., indexed families of sets, such a theorem is not longer

Strong amalgamation, Beckโ€“Chevalley for
Strong amalgamation, Beckโ€“Chevalley for equivalence relations and interpolation in algebraic logic
โœ Adriana Galli; Gonzalo E. Reyes; Marta Sagastume ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 307 KB

We extend Makkai's proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras, Heyting modal S4-algebras, Heyting modal bi-S4-al