We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic

Authors and titles for recent submissions

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

Wed, 16 Aug 2017

[1]  arXiv:1708.04496 [pdf, ps, other]
Title: Analytic continuations of log-exp-analytic germs
Comments: 52 pages
Subjects: Logic (math.LO); Complex Variables (math.CV)
[2]  arXiv:1708.04267 [pdf, ps, other]
Title: The computational content of intrinsic density
Authors: Eric P. Astor
Comments: Submitted. 12 pages, 2 figures
Subjects: Logic (math.LO)
[3]  arXiv:1708.04591 (cross-list from math.GR) [pdf, other]
Title: Word and conjugacy problems in lacunary hyperbolic groups
Authors: Arman Darbinyan
Subjects: Group Theory (math.GR); Logic (math.LO)
[4]  arXiv:1708.04397 (cross-list from math.GR) [pdf, ps, other]
Title: Group Embeddings with Algorithmic Properties
Authors: Arman Darbinyan
Journal-ref: Communications in Algebra, 2015
Subjects: Group Theory (math.GR); Logic (math.LO)

Tue, 15 Aug 2017

[5]  arXiv:1708.03959 [pdf, ps, other]
Title: The Cantor-Bernstein-Schroder theorem in algebra
Authors: Hector Freytes
Subjects: Logic (math.LO)
[6]  arXiv:1708.03936 [pdf, ps, other]
Title: Counting algebraic points in expansions of o-minimal structures by a dense set
Subjects: Logic (math.LO)
[7]  arXiv:1708.03896 [pdf, ps, other]
Title: The Choice Property in tame expansions of o-minimal structures
Subjects: Logic (math.LO)
[8]  arXiv:1708.03894 [pdf, ps, other]
Title: Product cones in dense pairs
Subjects: Logic (math.LO)
[9]  arXiv:1708.03770 [pdf, ps, other]
Title: Succinctness in subsystems of the spatial mu-calculus
Subjects: Logic (math.LO)
[10]  arXiv:1708.03724 [pdf, ps, other]
Title: Mekler's construction and generalized stability
Comments: 15 pages
Subjects: Logic (math.LO); Combinatorics (math.CO); Group Theory (math.GR)
[11]  arXiv:1708.03691 [pdf, ps, other]
Title: Cichoń's maximum
Comments: arXiv admin note: text overlap with arXiv:1706.09638
Subjects: Logic (math.LO)
[12]  arXiv:1708.03701 (cross-list from math.OA) [pdf, ps, other]
Title: An intrinsic order-theoretic characterization of the weak expectation property
Authors: Martino Lupini
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Logic (math.LO)

Mon, 14 Aug 2017

[13]  arXiv:1708.03583 [pdf, ps, other]
Title: Normalized Information Distance and the Oscillation Hierarchy
Subjects: Logic (math.LO); Computational Complexity (cs.CC); Information Theory (cs.IT)
[14]  arXiv:1708.03505 [pdf, ps, other]
Title: On Some Properties of Shelah Cardinals
Subjects: Logic (math.LO)

Fri, 11 Aug 2017

[15]  arXiv:1708.03306 [pdf, ps, other]
Title: On finite MTL-algebras that are representable as poset products of archimedean chains
Comments: Draft version. Comments are welcome
Subjects: Logic (math.LO); Category Theory (math.CT)
[16]  arXiv:1708.02962 (cross-list from math.AG) [pdf, ps, other]
Title: Algebraic Independence of generic Painlevé Transcendents: P_III and P_VI
Authors: Joel Nagloo
Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

Thu, 10 Aug 2017

[17]  arXiv:1708.02814 [pdf, ps, other]
Title: On large cardinals and generalized Baire spaces
Subjects: Logic (math.LO)
[18]  arXiv:1708.02719 [pdf, ps, other]
Title: Specializing trees and answer to a question of Williams
Comments: Comments are welcome
Subjects: Logic (math.LO)
[19]  arXiv:1708.02615 [pdf, ps, other]
Title: A model theoretic Rieffel's theorem of quantum 2-torus
Comments: 10 pages; Mathematical Logic and foundations
Subjects: Logic (math.LO)
[20]  arXiv:1708.02738 (cross-list from math.CT) [pdf, ps, other]
Title: Weak saturation and weak amalgamation property
Authors: Ivan Di Liberti
Subjects: Category Theory (math.CT); Logic (math.LO)
[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)