TY - RPRT TI - The countable existentially closed pseudocomplemented semilattice AU - Joël Adler PY - 2016 UR - https://arxiv.org/abs/1203.6700 ID - 1203.6700 ER -