Atlas home || Conferences | Abstracts | about Atlas

ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07)
August 5-9, 2007
St Anne's College, University of Oxford
Oxford, England

Organizers
Mai Gehrke and Hilary Priestley

View Abstracts
Conference Homepage

Profinite Heyting algebras
by
Nick Bezhanishvili
Department of Computer Science, University of Leicester
Coauthors: Guram Bezhanishvili (New Mexico State University)

For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely join-prime generated; (iii) A is isomorphic to the Heyting algebra Up(X) of upsets of an image-finite poset X. We also show that A is isomorphic to its profinite completion iff A is finitely approximable, complete, and the kernel of every finite homomorphic image of A is a principal filter of A.

PDF

Date received: April 30, 2007

Copyright © 2007 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caug-22.