We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for math.LO in May 2016

[ total of 55 entries: 1-25 | 26-50 | 51-55 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:1605.00218 [pdf, ps, other]
Title: On the diamenter of Lascar strong types (after Ludomir Newelski)
Comments: A contribution to Liber Amicorum Alberti dedicated to Albert Visser on the occasion of his 65th birthday
Journal-ref: Liber Amicorum Alberti, J.van Eijck, R.Iemhoff, J.J.Joosten (editors) College Publications (2016)
Subjects: Logic (math.LO)
[2]  arXiv:1605.00263 [pdf, ps, other]
Title: Unprovability of circuit upper bounds in Cook's theory PV
Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 1 (February 3, 2017) lmcs:3119
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[3]  arXiv:1605.00296 [pdf, ps, other]
Title: Chang's Conjecture and semiproperness of nonreasonable posets
Authors: Sean D. Cox
Comments: Added a new section (Section 3) about relationship between MM, dagger principle, and the principle $\text{SCC}^{\text{cof}}_{\text{gap}}$
Subjects: Logic (math.LO)
[4]  arXiv:1605.00473 [pdf, ps, other]
Title: Automorphism groups of randomized structures
Comments: 28 pages
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[5]  arXiv:1605.00605 [pdf, ps, other]
Title: Universal graphs at $\aleph_{ω_1+1}$
Authors: Jacob Davis
Subjects: Logic (math.LO)
[6]  arXiv:1605.00613 [pdf, ps, other]
Title: The HOD Dichotomy
Subjects: Logic (math.LO)
[7]  arXiv:1605.00641 [pdf, ps, other]
Title: The isometry degree of a computable copy of $\ell^p$
Subjects: Logic (math.LO)
[8]  arXiv:1605.00945 [pdf, ps, other]
Title: An example of a $P$-minimal structure without definable Skolem functions
Comments: 9 pages, (added missing grant acknowledgement)
Subjects: Logic (math.LO); Number Theory (math.NT)
[9]  arXiv:1605.01003 [pdf, ps, other]
Title: Monadic second order logic as the model companion of temporal logic
Comments: 22 pp. (10 pp. + 12 pp. appendix). LICS 2016
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[10]  arXiv:1605.01221 [pdf, ps, other]
Title: Valued modules over skew polynomial rings 1
Authors: Gönenç Onay
Comments: 20 pages
Subjects: Logic (math.LO)
[11]  arXiv:1605.01230 [pdf, ps, other]
Title: Notes on divisible MV-algebras
Subjects: Logic (math.LO)
[12]  arXiv:1605.01336 [pdf, ps, other]
Title: MV-algebras and measure: some examples
Subjects: Logic (math.LO)
[13]  arXiv:1605.01586 [pdf, ps, other]
Title: Categories with families and first-order logic with dependent sorts
Authors: Erik Palmgren
Comments: 83 pages
Journal-ref: Annals of Pure and Applied Logic Volume 170, Issue 12, December 2019
Subjects: Logic (math.LO); Category Theory (math.CT)
[14]  arXiv:1605.01686 [pdf, ps, other]
Title: The Expressive Power of k-ary Exclusion Logic
Authors: Raine Rönnholm
Comments: Preprint of a paper in the special issue of WoLLIC2016 in Annals of Pure and Applied Logic, 170(9):1070-1099, 2019
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[15]  arXiv:1605.02261 [pdf, ps, other]
Title: Small-large subgroups of the reals
Subjects: Logic (math.LO)
[16]  arXiv:1605.02419 [pdf, ps, other]
Title: Can you take Toernquist's inaccessible away?
Journal-ref: became part of Arch. Math. Logic 58 (2019), no. 3-4, 325-338 [Sh:1090]
Subjects: Logic (math.LO)
[17]  arXiv:1605.02534 [pdf, ps, other]
Title: The strength of countable saturation
Comments: Corrected typos in Lemma 3.4 and the final paragraph of the conclusion
Subjects: Logic (math.LO)
[18]  arXiv:1605.02551 [pdf, ps, other]
Title: Axiomatics for the external numbers of nonstandard analysis
Journal-ref: Journal of Logic and Analysis 9:7 (2017) 1-47
Subjects: Logic (math.LO)
[19]  arXiv:1605.03034 [pdf, ps, other]
Title: On Splits of Computably enumerable sets
Authors: Peter Cholak
Comments: Submitted. This version corrects a number of issues raised by the referees. Our thanks to the referees. Learned about another related splitting theorem by Hammond which is now included
Subjects: Logic (math.LO)
[20]  arXiv:1605.03354 [pdf, ps, other]
Title: The Vitali Covering Theorem in the Weihrauch Lattice
Comments: 13 pages
Journal-ref: in: A. Day et al. (Eds.) Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, Springer, 2017, LNCS vol. 10010, pp. 188-200
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[21]  arXiv:1605.03501 [pdf, ps, other]
Title: Is Leibnizian calculus embeddable in first order logic?
Comments: 22 pages, to appear in Foundations of Science
Subjects: Logic (math.LO); History and Overview (math.HO)
[22]  arXiv:1605.03828 [pdf, ps, other]
Title: Some Epistemic Extensions of Gödel Fuzzy Logic
Subjects: Logic (math.LO)
[23]  arXiv:1605.03981 [pdf, ps, other]
Title: Scope ambiguities, monads and strengths
Comments: 47 pages, small corrections
Subjects: Logic (math.LO)
[24]  arXiv:1605.04118 [pdf, ps, other]
Title: Division Rings with Ranks
Authors: Nadja Hempel (ICJ), Daniel Palacín
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[25]  arXiv:1605.04484 [pdf, ps, other]
Title: Relative exchangeability with equivalence relations
Subjects: Logic (math.LO); Probability (math.PR)
[ total of 55 entries: 1-25 | 26-50 | 51-55 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2208, contact, help  (Access key information)