Su Gao : Borel ideals and isomorphism problem of Boolean algebras

Posted by Matthias Aschenbrenner , part of the Logic Seminar.

At

Nov. 22, 2005, 4 p.m.

In

SEO 427

Abstract

We consider quotient Boolean algebras of the form P(N)/I, where I is an ideal on N, and their isomorphism types. Mike Oliver in his PhD dissertation proved that there are continuum many non-isomorphic such Boolean algebras induced by Borel ideals. In a joint work with Oliver we show that every analytic equivalence relation is Borel reducible to this isomorphism relation.