cicyt UNIZAR

Logic

New submissions

[ total of 11 entries: 1-11 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Tue, 20 Mar 18

[1]  arXiv:1803.06670 [pdf, ps, other]
Title: Stone-type representations and dualities for varieties of bisemilattices
Authors: Antonio Ledda
Subjects: Logic (math.LO)

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.

[2]  arXiv:1803.06671 [pdf, ps, other]
Title: On some properties of PBZ*-lattices
Journal-ref: International Journal of Theoretical Physics, December 2017, Volume 56, Issue 12, pp 3895 3911
Subjects: Logic (math.LO)

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.

[3]  arXiv:1803.06700 [pdf, ps, other]
Title: Categoricity of Shimura Varieties
Comments: 20 pages. Comments welcome
Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Number Theory (math.NT)

We propose a model-theoretic structure for Shimura varieties and give necessary and sufficient conditions to obtain categoricity.

Cross-lists for Tue, 20 Mar 18

[4]  arXiv:1803.06483 (cross-list from math.GN) [pdf, ps, other]
Title: Products of $H$-separable spaces in the Laver model
Journal-ref: Topology Appl. 239 (2018), 115-119
Subjects: General Topology (math.GN); Logic (math.LO)

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.

Replacements for Tue, 20 Mar 18

[5]  arXiv:1410.2615 (replaced) [pdf, ps, other]
Title: O-asymptotic classes of finite structures
Authors: Darío García
Comments: 28 pages
Subjects: Logic (math.LO)
[6]  arXiv:1601.00050 (replaced) [pdf, ps, other]
Title: The proof-theoretic strength of Ramsey's theorem for pairs and two colors
Comments: 32 pages
Subjects: Logic (math.LO)
[7]  arXiv:1602.08072 (replaced) [pdf, ps, other]
Title: Model theory of $\mathrm{C}^*$-algebras
Comments: Various bug fixes and performance improvements
Subjects: Logic (math.LO); Operator Algebras (math.OA)
[8]  arXiv:1607.08369 (replaced) [pdf, ps, other]
Title: Probabilistic logic of quantum observations
Subjects: Logic (math.LO); Quantum Physics (quant-ph)
[9]  arXiv:1803.03944 (replaced) [pdf, ps, other]
Title: Extendible cardinals and the mantle
Authors: Toshimichi Usuba
Subjects: Logic (math.LO)
[10]  arXiv:1801.01165 (replaced) [pdf, other]
Title: Automorphism groups and Ramsey properties of sparse graphs
Comments: 40 pages, 3 figures, new proof of Theorem 3.19 and other minor revisions
Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Dynamical Systems (math.DS); Logic (math.LO)
[11]  arXiv:1803.02570 (replaced) [pdf, ps, other]
Title: Why Black Swan events must occur
Subjects: Risk Management (q-fin.RM); Logic (math.LO)
[ total of 11 entries: 1-11 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)