Adler, 2017. The countable existentially closed pseudocomplemented semilattice 56.. https://doi.org/10.1007/s00153-017-0527-x