Logic

Authors and titles for math.LO in May 2016

[1]  arXiv:1605.00218 [pdf, ps, other]

Title: On the diamenter of Lascar strong types (after Ludomir Newelski)

Authors: Domenico Zambella

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

Authors: Jan Krajicek, Igor C. Oliveira

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

Authors: Tomás Ibarlucía

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

Authors: Hugh Woodin, Jacob Davis, Daniel Rodriguez

Subjects: Logic (math.LO)

[7]  arXiv:1605.00641 [pdf, ps, other]

Title: The isometry degree of a computable copy of $\ell^p$

Authors: Timothy H. McNicholl, D.M. Stull

Subjects: Logic (math.LO)

[8]  arXiv:1605.00945 [pdf, ps, other]

Title: An example of a $P$-minimal structure without definable Skolem functions

Authors: Pablo Cubides Kovacsics, Kien Huu Nguyen

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

Authors: Silvio Ghilardi, Samuel J. van Gool

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

Authors: Serafina Lapenta, Ioana Leustean

Subjects: Logic (math.LO)

[12]  arXiv:1605.01336 [pdf, ps, other]

Title: MV-algebras and measure: some examples

Authors: Gianluca Caterina, Vittorio Cafagna

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

Authors: Andrzej Roslanowski, Saharon Shelah

Subjects: Logic (math.LO)

[16]  arXiv:1605.02419 [pdf, ps, other]

Title: Can you take Toernquist's inaccessible away?

Authors: Haim Horowitz, Saharon Shelah

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

Authors: B. van den Berg, E.M. Briseid, P. Safarik

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

Authors: Bruno Dinis, Imme van den Berg

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

Authors: Vasco Brattka, Guido Gherardi, Rupert Hölzl, Arno Pauly

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?

Authors: Piotr Blaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Taras Kudryk, Thomas Mormann, David Sherry

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

Authors: D. Dastgheib, H. Farahani, A.H. Sharafi

Subjects: Logic (math.LO)

[23]  arXiv:1605.03981 [pdf, ps, other]

Title: Scope ambiguities, monads and strengths

Authors: Justyna Grudzinska, Marek Zawadowski

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

Authors: Harry Crane, Henry Towsner

Subjects: Logic (math.LO); Probability (math.PR)

[26]  arXiv:1605.04537 [pdf, ps, other]

Title: The Pila-Wilkie theorem for subanalytic families: a complex analytic approach

Authors: Gal Binyamini, Dmitry Novikov

Journal-ref: Compositio Math. 153 (2017) 2171-2194

Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Number Theory (math.NT)

[27]  arXiv:1605.04671 [pdf, ps, other]

Title: Wilkie's conjecture for restricted elementary functions

Authors: Gal Binyamini, Dmitry Novikov

Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Number Theory (math.NT)

[28]  arXiv:1605.04735 [pdf, ps, other]

Title: Towers in filters, cardinal invariants, and Luzin type families

Authors: Jörg Brendle, Barnabás Farkas, Jonathan Verner

Subjects: Logic (math.LO)

[29]  arXiv:1605.05489 [pdf, ps, other]

Title: Aronszajn trees, square principles, and stationary reflection

Authors: Chris Lambie-Hanson

Subjects: Logic (math.LO)

[30]  arXiv:1605.05612 [pdf, ps, other]

Title: Labelled tableaux for interpretability logics

Authors: Tuomas A. Hakoniemi, Joost J. Joosten

Comments: Dedicated to Albert Visser on the occasion of his retirement. In: Liber Amicorum Alberti, A Tribute to Albert Visser, Eds. Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten, p. 141-154, Tributes Series Vol. 30, College Publications, London. ISBN 978-1-84890-204-6, 2016

Subjects: Logic (math.LO)

[31]  arXiv:1605.06003 [pdf, ps, other]

Title: Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case

Authors: Tapani Hyttinen, Gianluca Paolini

Journal-ref: Notre Dame J. Formal Logic 60, no. 4 (2019), 707-731

Subjects: Logic (math.LO)

[32]  arXiv:1605.06051 [pdf, ps, other]

Title: Measurability and Perfect Set Theorems for Equivalence Relations with Small Classes

Authors: Ohad Drucker

Subjects: Logic (math.LO)

[33]  arXiv:1605.06164 [pdf, ps, other]

Title: The uniform content of partial and linear orders

Authors: Eric P. Astor, Damir D. Dzhafarov, Reed Solomon, Jacob Suggs

Subjects: Logic (math.LO)

[34]  arXiv:1605.06271 [src]

Title: The Tree Property up to $\aleph_{ω^2}$

Authors: Yair Hayut

Comments: The argument is flawed. In particular, the proof of Lemma 31 is wrong

Subjects: Logic (math.LO)

[35]  arXiv:1605.07123 [pdf, ps, other]

Title: A Borel maximal eventually different family

Authors: Haim Horowitz, Saharon Shelah

Subjects: Logic (math.LO)

[36]  arXiv:1605.07527 [pdf, ps, other]

Title: Fermat-like equations that are not partition regular

Authors: Mauro Di Nasso, Maria Riggio

Subjects: Logic (math.LO)

[37]  arXiv:1605.07867 [pdf, ps, other]

Title: Some remarks on dp-minimal groups

Authors: Elad Levi, Itay Kaplan, Pierre Simon

Subjects: Logic (math.LO)

[38]  arXiv:1605.08811 [pdf, ps, other]

Title: Universal Graphs at $\aleph_{ω_1+1}$ and Set-theoretic Geology

Authors: Jacob Davis

Comments: PhD thesis at Carnegie Mellon University

Subjects: Logic (math.LO)

[39]  arXiv:1605.08867 [pdf, ps, other]

Title: Worms and Spiders: Reflection calculi and ordinal notation systems

Authors: David Fernández-Duque

Subjects: Logic (math.LO)

[40]  arXiv:1605.09177 [pdf, ps, other]

Title: Perspectives for proof unwinding by programming languages techniques

Authors: Danko Ilik

Journal-ref: IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (10), pp.3487-3508

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[41]  arXiv:1605.09222 [pdf, ps, other]

Title: A note on $\mathbb{Z}$ as a direct summand of nonstandard models of weak systems of arithmetic

Authors: Merlin Carl

Subjects: Logic (math.LO)

[42]  arXiv:1605.00455 (cross-list from math.HO) [pdf, ps, other]

Title: Interpreting the infinitesimal mathematics of Leibniz and Euler

Authors: Jacques Bair, Piotr Blaszczyk, Robert Ely, Valerie Henry, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Semen S. Kutateladze, Thomas McGaffey, Patrick Reeder, David M. Schaps, David Sherry, Steven Shnider

Comments: 62 pages, to appear in Journal for General Philosophy of Science

Subjects: History and Overview (math.HO); Classical Analysis and ODEs (math.CA); Logic (math.LO)

[43]  arXiv:1605.00598 (cross-list from math.GR) [pdf, other]

Title: Computational complexity and the conjugacy problem

Authors: Alexei Miasnikov, Paul E. Schupp

Comments: 17 pages, 1 figure; Computability, to appear

Subjects: Group Theory (math.GR); Logic (math.LO)

[44]  arXiv:1605.01024 (cross-list from math.GN) [pdf, ps, other]

Title: On Borel semifilters

Authors: Andrea Medini

Comments: 20 pages

Subjects: General Topology (math.GN); Logic (math.LO)

[45]  arXiv:1605.01143 (cross-list from math.CA) [pdf, ps, other]

Title: Spectra of fuzzy sets of $S^1$

Authors: Vittorio Cafagna, Gianluca Caterina

Subjects: Classical Analysis and ODEs (math.CA); Logic (math.LO)

[46]  arXiv:1605.01425 (cross-list from math.CV) [pdf, ps, other]

Title: Solutions of quasianalytic equations

Authors: Andre Belotto da Silva, Iwo Biborski, Edward Bierstone

Comments: revised version, 25 pages, to appear in Selecta Math

Subjects: Complex Variables (math.CV); Classical Analysis and ODEs (math.CA); Logic (math.LO)

[47]  arXiv:1605.04087 (cross-list from math.GN) [pdf, ps, other]

Title: Every filter is homeomorphic to its square

Authors: Andrea Medini, Lyubomyr Zdomskyy

Comments: 4 pages

Subjects: General Topology (math.GN); Logic (math.LO)

[48]  arXiv:1605.05916 (cross-list from math.NT) [pdf, ps, other]

Title: Uniform parameterization of subanalytic sets and diophantine applications

Authors: Raf Cluckers, Jonathan Pila, Alex Wilkie

Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Complex Variables (math.CV); Logic (math.LO)

[49]  arXiv:1605.06323 (cross-list from math.GN) [pdf, ps, other]

Title: Generic norms and metrics on countable abelian groups

Authors: Michal Doucha

Comments: Final version, to appear in Monatshefte f\"ur Mathematik

Subjects: General Topology (math.GN); Group Theory (math.GR); Logic (math.LO)

[50]  arXiv:1605.08932 (cross-list from math.OA) [pdf, ps, other]

Title: Ueda's peak set theorem for general von Neumann algebras

Authors: David P. Blecher, Louis Labuschagne

Comments: Revised 2017, with a new Section 2, and other improvements. Smaller corrections 2018. To appear Trans. Amer. Math. Soc

Subjects: Operator Algebras (math.OA); Mathematical Physics (math-ph); Functional Analysis (math.FA); Logic (math.LO)

[51]  arXiv:1605.01199 (cross-list from cs.LO) [pdf, other]

Title: Non-Homogenizable Classes of Finite Structures

Authors: Albert Atserias, Szymon Toruńczyk

Comments: Very minor revision of the introduction section and the bibliography of the earlier version

Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

[52]  arXiv:1605.01596 (cross-list from cs.AI) [pdf, ps, other]

Title: Notes on a model for fuzzy computing

Authors: Vittorio Cafagna, Gianluca Caterina

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)

[53]  arXiv:1605.01778 (cross-list from cs.AI) [pdf, other]

Title: Combinatorial Aspects of the Distribution of Rough Objects

Authors: A. Mani

Comments: 17 Pages, 5 Figures, Preprint This version has since been substantially revised. Please wait for new version to appear

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT); Combinatorics (math.CO); Logic (math.LO)

[54]  arXiv:1605.04271 (cross-list from cs.LO) [pdf, other]

Title: Axiomatizations for downward XPath on Data Trees

Authors: Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira

Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Logic (math.LO)

[55]  arXiv:1605.08949 (cross-list from cs.LO) [pdf, ps, other]

Title: Logic of Local Inference for Contextuality in Quantum Physics and Beyond

Authors: Kohei Kishida

Comments: Forty-Third International Colloquium on Automata, Languages, and Programming (ICALP 2016)

Journal-ref: Forty-Third International Colloquium on Automata, Languages, and Programming (ICALP 2016), 113:1--113:14, 2016

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO); Quantum Physics (quant-ph)