Meeting of the Association for Symbolic Logic


S MADISON 1982 t235 G.M. BRENNER, I technique for constructing bolean algehras from trees, so that properties of the trees are inherited. Given the well-founded tree (I, <r),we let for all r e T, S{ : lu e T: u Zrtl; then define the tree algebra generated by T,87, as the closure of (Srr: t e Tl under finite set unions and complernentation relative to the… (More)


  • Presentations referencing similar topics