cicyt UNIZAR

Logic

Authors and titles for recent submissions

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

Tue, 20 Mar 2018

[1]  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)
[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)
[3]  arXiv:1803.06670 [pdf, ps, other]
Title: Stone-type representations and dualities for varieties of bisemilattices
Authors: Antonio Ledda
Subjects: Logic (math.LO)
[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)

Mon, 19 Mar 2018

[5]  arXiv:1803.06181 [pdf, ps, other]
Title: Products of Lindelöf spaces with points $G_δ$
Authors: Toshimichi Usuba
Subjects: Logic (math.LO); General Topology (math.GN)
[6]  arXiv:1803.06003 [pdf, ps, other]
Title: Bi-interpretability of a Free Monoid with the Arithmetic and Applications
Subjects: Logic (math.LO)

Fri, 16 Mar 2018

[7]  arXiv:1803.05797 [pdf, ps, other]
Title: Rigid models of Presburger arithmetic
Authors: Emil Jeřábek
Comments: 9 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[8]  arXiv:1803.05895 (cross-list from math.NT) [pdf, ps, other]
Title: Weak Modular Zilber-Pink with Derivatives
Authors: Vahagn Aslanyan
Comments: 29 pages
Subjects: Number Theory (math.NT); Logic (math.LO)

Thu, 15 Mar 2018

[9]  arXiv:1803.05318 [pdf, ps, other]
Title: On the structure theory of Łukasiewicz near semirings
Journal-ref: Logic Journal of the IGPL, Volume 26, Issue 1, 23 January 2018, Pages 14 - 28
Subjects: Logic (math.LO)
[10]  arXiv:1803.05102 [pdf, other]
Title: Matrix iterations with vertical support restrictions
Authors: Diego A. Mejía
Comments: Submitted. 26 pages, 6 figures, 1 table
Subjects: Logic (math.LO)
[11]  arXiv:1803.05078 [pdf, ps, other]
Title: Bisimulations for intuitionistic temporal logics
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[12]  arXiv:1803.05077 [pdf, ps, other]
Title: Axiomatic systems and topological semantics for intuitionistic temporal logic
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

Wed, 14 Mar 2018

[13]  arXiv:1803.04909 [pdf, ps, other]
Title: Logical perfection in mathematics and beyond
Comments: The paper is written for a wide audience including mathematicians, physicits, logicians and philosphers of mathematics
Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Quantum Physics (quant-ph)
[14]  arXiv:1803.04753 [pdf, ps, other]
Title: Adequate Predimension Inequalities in Differential Fields
Authors: Vahagn Aslanyan
Comments: 43 pages
Subjects: Logic (math.LO)
[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)