Atlas home || Conferences | Abstracts | about Atlas

International Conference on Modern Algebra in conjunction with the 17th annual Shanks Lectures
May 21-24, 2002
Vanderbilt University
Nashville, TN, USA

Organizers
Jonathan Farley, Ralph Freese, Matthew Gould, Peter Jipsen, George McNulty, Miklos Maroti, Alexander Ol'shanskii, Steven Tschantz, Constantine Tsinakis, Matthew Valeriote

View Abstracts
Conference Homepage

Forbidden Forests in Priestley Spaces
by
Richard N. Ball
University of Denver
Coauthors: Ales Pultr (Charles University, Prague)

We present a first order formula characterizing the distributive lattices L the Priestley spaces P(L) of which contain no copy of a finite forest T. For Heyting algebras L, prohibiting a finite poset T in P(L) is characterized by equations iff T is a tree. We also give a condition characterising the distributive lattices whose Priestley spaces contain no copy of a finite forest with a single additional point at the bottom.

Date received: December 31, 2001

Copyright © 2001 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 # caig-40.