Profinite Completions and Canonical Extensions of Heyting Algebras

Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi

Order · 2006 · 27 citations · 17 references

Concepts

References

17