TY - RPRT TI - Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples AU - Jamshid Derakhshan AU - Angus Macintyre PY - 2013 UR - https://arxiv.org/abs/1310.3527 ID - 1310.3527 ER -