Parallel computation and canonicity
Tomoyuki Suzuki

In this talk, we will explain how canonicity inequalities of lattice expansions 
are characterised, and how Ghilardi and Meloni's parallel computation is used 
to prove them. Furthermore, we will also present another aspect of canonical 
extensions of lattice expansions via the parallel computation.