Downward-closures and PTL separability

I'll present an approach to computing downward-closures and solving separability by piecewise-testable sets using ideal decompositions.  The talk will be based on a joint paper with J. Goubault-Larrecq published at ICALP last year.