JOURNAL ARTICLE
Profinite Completions and Canonical Extensions of Heyting Algebras
Guram BezhanishviliMai GehrkeRay MinesPatrick J. Morandi
Year: 2006 Journal: Order Vol: 23 (2-3)Pages: 143-161 Publisher: Springer Science+Business Media
Keywords:
Heyting algebra Mathematics Distributive property Variety (cybernetics) Pure mathematics Dual (grammatical number) Extension (predicate logic) Bounded function Finitely-generated abelian group Algebra over a field Discrete mathematics Computer science
Metrics
27
Cited By
2.00
FWCI (Field Weighted Citation Impact)
25
Refs
0.86
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Rings, Modules, and Algebras
Physical Sciences → Mathematics → Algebra and Number Theory
semigroups and automata theory
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Profinite Heyting Algebras and Profinite Completions of Heyting Algebras
Guram BezhanishviliPatrick J. Morandi
Journal: Georgian Mathematical Journal Year: 2009 Vol: 16 (1)Pages: 29-47
JOURNAL ARTICLE
On profinite completions and canonical extensions
Journal: Algebra Universalis Year: 2006 Vol: 55 (2-3)Pages: 293-296
JOURNAL ARTICLE
Profinite Heyting Algebras
Guram BezhanishviliNick Bezhanishvili
Journal: Order Year: 2008 Vol: 25 (3)Pages: 211-227
JOURNAL ARTICLE
Natural extensions and profinite completions of algebras
Brian DaveyMaria João GouveiaMiroslav HaviarH. A. Priestley
Journal: Algebra Universalis Year: 2011 Vol: 66 (3)Pages: 205-241
JOURNAL ARTICLE
Topo-canonical completions of closure algebras and Heyting algebras
Guram BezhanishviliRay MinesPatrick J. Morandi
Journal: Algebra Universalis Year: 2007 Vol: 58 (1)Pages: 1-34