EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
Copyright policy )EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
AbstractThe variety of Brouwerian semilattices is amalgamable and locally finite; hence, by well-known results [19], it has a model completion (whose models are the existentially closed structures). In this article, we supply a finite and rather simple axiomatization of the model completion.
- University of Milan Italy
- New Mexico State University United States
Brouwerian semilattice, finite duality, Heyting algebras (lattice-theoretic aspects), FOS: Mathematics, 03G25 (Primary), 03C10, 06D20 (Secondary), Quantifier elimination, model completeness, and related topics, Semilattices, Mathematics - Logic, Logic (math.LO), existentially closed structure, Other algebras related to logic
Brouwerian semilattice, finite duality, Heyting algebras (lattice-theoretic aspects), FOS: Mathematics, 03G25 (Primary), 03C10, 06D20 (Secondary), Quantifier elimination, model completeness, and related topics, Semilattices, Mathematics - Logic, Logic (math.LO), existentially closed structure, Other algebras related to logic
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).2 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!