# Logic (math.LO)

• We propose a model-theoretic structure for Shimura varieties and give necessary and sufficient conditions to obtain categoricity.
• Mar 20 2018 math.LO arXiv:1803.06671v1
We continue the algebraic investigation of PBZ*-lattices, a notion introduced in [12] in order to obtain insights into the structure of certain algebras of effects of a Hilbert space, lattice-ordered under the spectral ordering.
• In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes' representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas-Dunn duality and introduce the categories of 2spaces and 2spaces$^{\star}$. The categories of 2spaces and 2spaces$^{\star}$ will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone spaces with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent.
• We prove that in the Laver model for the consistency of the Borel's conjecture, the product of any two $H$-separable spaces is $M$-separable.