Logic

Authors and titles for December 2016

[1] arXiv:1612.00785 [pdf, other]

Title: How to avoid a compact set

Antongiulio Fornasiero, Philipp Hieronymi, Erik Walsberg

Subjects: Logic (math.LO); Metric Geometry (math.MG)

[2] arXiv:1612.00908 [pdf, other]

Title: Cutting lemma and Zarankiewicz's problem in distal structures

Artem Chernikov, David Galvin, Sergei Starchenko

Comments: v.2: 29 pages, 3 figures; minor corrections/clarifications throughout the article; Theorem 5.7 has been generalized to allow distal cell decompositions of arbitrary exponent t, and more details were added in the proof; accepted to Selecta Mathematica

Subjects: Logic (math.LO); Computational Geometry (cs.CG); Combinatorics (math.CO)

[3] arXiv:1612.00963 [pdf, other]

Title: Undefinability of Standard sequent calculi for Paraconsistent three-valued logics

S. Bonzio, M. Pra Baldi

Comments: We found out that the paper contains some obscure points that can be misleading for the reader; some results shall be revised, deleted and/or replaced. As this process could take long time we would like to withdraw the submission for the moment. Thank you for your comprehension

Subjects: Logic (math.LO)

[4] arXiv:1612.01435 [pdf, other]

Title: Finite versus infinite: an insufficient shift

Yann Pequignot

Journal-ref: Advances in Mathematics, Volume 320 (7), November 2017, Pages 244-249

Subjects: Logic (math.LO)

[5] arXiv:1612.01572 [pdf, other]

Title: Strongly proper forcing and some problems of Foreman

Sean Cox, Monroe Eskew

Subjects: Logic (math.LO)

[6] arXiv:1612.01992 [pdf, other]

Title: Expanding FLew with a Boolean connective

Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo

Comments: 15 pages, 4 figures in Soft Computing, published online 23 July 2016

Subjects: Logic (math.LO)

[7] arXiv:1612.02142 [pdf, other]

Title: Imaginaries in separably closed valued fields

Martin Hils, Moshe Kamensky, Silvain Rideau

Subjects: Logic (math.LO)

[8] arXiv:1612.02165 [pdf, other]

Title: A short note on groups in separably closed valued Fields

Silvain Rideau

Comments: 11 pages. The proofs that are also in arXiv:1709.08801 have been removed

Subjects: Logic (math.LO)

[9] arXiv:1612.02549 [pdf, other]

Title: On Constructivity and the Rosser Property: a closer look at some Gödelean proofs

Saeed Salehi, Payam Seraji

Comments: 12 pages -- to appear in the Annals of Pure and Applied Logic

Journal-ref: Annals of Pure and Applied Logic 169:10 (2018) 971--980

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

[10] arXiv:1612.02683 [pdf, other]

Title: Clustered Cell Decomposition in P-Minimal Structures

Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt

Comments: 42 pages, 6 figures

Subjects: Logic (math.LO)

[11] arXiv:1612.02849 [pdf, other]

Title: Retracing Cantor's first steps in Brouwer's company

Wim Veldman

Subjects: Logic (math.LO)

[12] arXiv:1612.02982 [pdf, other]

Title: Randomness via infinite computation and effective descriptive set theory

Merlin Carl, Philipp Schlicht

Subjects: Logic (math.LO)

[13] arXiv:1612.03106 [pdf, other]

Title: Automorphism groups of countable structures and groups of measurable functions

Aleksandra Kwiatkowska, Maciej Malicki

Comments: Following a referee's suggestion, we split the version 4 of this article into two. This article is based on Sections 2 and 3 there. Article accepted to Israel Journal of Mathematics

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

[14] arXiv:1612.03410 [pdf, other]

Title: An abstract approach to Glivenko's theorem

Darllan Conceição Pinto, Hugo Luiz Mariano

Comments: 22 pages

Subjects: Logic (math.LO)

[15] arXiv:1612.04170 [pdf, other]

Title: Filter-Laver Measurability

Yurii Khomskii

Subjects: Logic (math.LO)

[16] arXiv:1612.04353 [pdf, other]

Title: Galois connection for multiple-output operations

Emil Jeřábek

Comments: 36 pages; to appear in Algebra Universalis

Journal-ref: Algebra Universalis 79 (2018), article no. 17

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

[17] arXiv:1612.04494 [pdf, other]

Title: Determinacy and Fast-growing Sequences of Turing Degrees

Dmytro Taranovsky

Comments: 6 pages; see ancillary files for the original MathJax/html

Subjects: Logic (math.LO)

[18] arXiv:1612.04652 [pdf, other]

Title: Order and interval topologies on complete Boolean algebras

Dominic van der Zypen

Subjects: Logic (math.LO)

[19] arXiv:1612.04957 [pdf, other]

Title: Algorithmic Correspondence and Canonicity for Possibility Semantics

Zhiguang Zhao

Comments: This is a preliminary version of the full paper

Subjects: Logic (math.LO)

[20] arXiv:1612.04979 [pdf, other]

Title: A Note on One Less Known Class of Generated Residual Implications

Vojtěch Havlena (Brno University of Technology, Czech Republic), Dana Hliněná (Brno University of Technology, Czech Republic)

Comments: In Proceedings MEMICS 2016, arXiv:1612.04037

Journal-ref: EPTCS 233, 2016, pp. 13-22

Subjects: Logic (math.LO)

[21] arXiv:1612.05136 [pdf, other]

Title: On permutations with decidable cycles

Tobias Boege

Comments: 27 pages, 4 figures

Subjects: Logic (math.LO)

[22] arXiv:1612.05137 [pdf, other]

Title: Arcs, hypercubes, and graphs as quotients of projective Fraïssé limits

Gianluca Basso, Riccardo Camerlo

Journal-ref: Math. Slovaca 67 (2017), no. 6, 1281-1294

Subjects: Logic (math.LO)

[23] arXiv:1612.05267 [pdf, other]

Title: Probabilistic Epistemic Updates on Algebras

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg

Comments: Final version of the paper

Subjects: Logic (math.LO)

[24] arXiv:1612.05273 [pdf, other]

Title: On Some Syntactic Properties of the Modalized Heyting Calculus

Alexei Muravitsky

Comments: 16 pages

Subjects: Logic (math.LO)

[25] arXiv:1612.05468 [pdf, other]

Title: From Multisets to Sets in Hotmotopy Type Theory

Håkon Robbestad Gylterud

Subjects: Logic (math.LO)

[26] arXiv:1612.05756 [pdf, other]

Title: A Comment on Argumentation

Karl Schlechta (LIF)

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

[27] arXiv:1612.05833 [pdf, other]

Title: Borel Circle Squaring

Andrew S. Marks, Spencer T. Unger

Comments: Minor typos corrected

Journal-ref: Ann. of Math. 186 (2017), 581-605

Subjects: Logic (math.LO); Combinatorics (math.CO); Dynamical Systems (math.DS); Metric Geometry (math.MG)

[28] arXiv:1612.05930 [pdf, other]

Title: Lattice Logic Properly Displayed

Giuseppe Greco, Alessandra Palmigiano

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

[29] arXiv:1612.05941 [pdf, other]

Title: Arithmetic with Limited Exponentiation

Dmytro Taranovsky

Comments: 17 pages, original html is in ancillary files

Subjects: Logic (math.LO)

[30] arXiv:1612.06222 [pdf, other]

Title: Corps différentiels et flots géodésiques I: Orthogonalité aux constantes pour les équations différentielles autonomes

Rémi Jaoui

Comments: in French. This second version also contains a specialization theorem and an application to "very generic" complex vector fields on the affine space

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

[31] arXiv:1612.06225 [pdf, other]

Title: On the uniqueness property of forking in abstract elementary classes

Sebastien Vasey

Comments: 10 pages

Journal-ref: Mathematical Logic Quarterly 63 (2017), no. 6, 598-604

Subjects: Logic (math.LO)

[32] arXiv:1612.06525 [pdf, other]

Title: Axiomatizing Mathematical Theories: Multiplication

Saeed Salehi

Comments: A Conference Paper at Sharif University of Technology, 25-27 December 2012, Tehran

Journal-ref: A. Kamali-Nejad (ed.), Proceedings of Frontiers in Mathematical Sciences, Fundamental Education Publications, Iran (2012) pp. 165--176

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

[33] arXiv:1612.06526 [pdf, other]

Title: Computation in Logic and Logic in Computation

Saeed Salehi

Comments: Invited Conference Paper at the Institute for Advanced Studies in Basic Sciences, Gavazangh, Zanjan, Iran (this http URL)

Journal-ref: B. Sadeghi-Bigham (ed.), Proceedings of the Third International Conference on Contemporary Issues in Computer and Information Sciences (CICIS 2012), Brown Walker Press, USA (2012) pp. 580--583

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

[34] arXiv:1612.06602 [pdf, other]

Title: Linear Hyperdoctrines and Comodules

Mariana Haim, Octavio Malherbe

Subjects: Logic (math.LO)

[35] arXiv:1612.06606 [pdf, other]

Title: Brouwer and Cardinalities

Klaas Pieter Hart

Comments: Version 3 of 2017-07-06, changes made after further refereeing

Journal-ref: Indagationes Mathematicae, Volume 29, Issue 6, December 2018, Pages 1555-1564

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

[36] arXiv:1612.06966 [pdf, other]

Title: On a strengthening of Kotlarski's theorem

Evgeny Dashkov

Comments: In Russian. The English version will follow soon

Subjects: Logic (math.LO)

[37] arXiv:1612.07154 [pdf, other]

Title: One Henkin Quantifier in the empty vocabulary suffices for undecidability

Konrad Zdanowski

Subjects: Logic (math.LO)

[38] arXiv:1612.07167 [pdf, other]

Title: Second order intuitionistic propositional logic of the real line is decidable

Konrad Zdanowski

Subjects: Logic (math.LO)

[39] arXiv:1612.07560 [pdf, other]

Title: Amenability, definable groups, and automorphism groups

Krzysztof Krupinski, Anand Pillay

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

[40] arXiv:1612.07830 [pdf, other]

Title: The Rearrangement Number

Andreas Blass, Jörg Brendle, Will Brian, Joel David Hamkins, Michael Hardy, Paul B. Larson

Subjects: Logic (math.LO)

[41] arXiv:1612.08071 [pdf, other]

Title: On How the Introducing of a New $θ$ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency

Dan E. Willard

Comments: All the theorems and propositons are the same in this Version 5 as in Version 4. The difference is that the writing style is now significantly more polished

Subjects: Logic (math.LO)

[42] arXiv:1612.08284 [pdf, other]

Title: Games orbits play and obstructions to Borel reducibility

Martino Lupini, Aristotelis Panagiotopoulos

Comments: 13 pages. Final version, to appear in Groups, Geometry, and Dynamics

Subjects: Logic (math.LO)

[43] arXiv:1612.08358 [pdf, other]

Title: The tree property at double successors of singular cardinals of uncountable cofinality

Mohammad Golshani, Rahman Mohammadpour

Comments: 16 pages

Subjects: Logic (math.LO)

[44] arXiv:1612.08424 [pdf, other]

Title: We belong together? A plea for modesty in modal plural logic

Simon Hewitt

Comments: 12 pages

Subjects: Logic (math.LO)

[45] arXiv:1612.09042 [pdf, other]

Title: Definable groups in models of Presburger Arithmetic and G^{00}

Alf Onshuus, Mariana Vicaría

Comments: 23 pages, Several corrections have been done

Subjects: Logic (math.LO)

[46] arXiv:1612.09223 [pdf, other]

Title: A revised completeness result for the simply typed $λμ$-calculus using realizability semantics

Karim Nour, Mohamad Ziadeh

Comments: arXiv admin note: text overlap with arXiv:0905.0357

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (August 22, 2017) lmcs:2625

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

[47] arXiv:1612.00252 (cross-list from math.RA) [pdf, other]

Title: Disjoint-union partial algebras

Robin Hirsch, Brett McLean

Comments: 30 pages

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 2 (June 22, 2017) lmcs:2580

Subjects: Rings and Algebras (math.RA); Logic in Computer Science (cs.LO); Logic (math.LO)

[48] arXiv:1612.00646 (cross-list from math.OA) [pdf, other]

Title: A Fraïssé theoretic approach to the Jiang--Su algebra

Shuhei Masumoto

Comments: 22 pages

Subjects: Operator Algebras (math.OA); Logic (math.LO)

[49] arXiv:1612.01170 (cross-list from math.OA) [pdf, other]

Title: A simple AF algebra not isomorphic to its opposite

Ilijas Farah, Ilan Hirshberg

Comments: 13 pages. To appear in PNAS

Subjects: Operator Algebras (math.OA); Logic (math.LO)

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

Title: Focusing in Orthologic

Olivier Laurent

Comments: Small rewritings. Updated benchmark section. Updated coq and ocaml files

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (July 21, 2017) lmcs:2591

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

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

Title: On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic

Federico Aschieri, Matteo Manighetti

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

[52] arXiv:1612.05944 (cross-list from math.HO) [pdf, other]

Title: Gregory's sixth operation

Tiziana Bascelli, Piotr Blaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Semen S. Kutateladze, Tahl Nowik, David M. Schaps, David Sherry

Comments: 17 pages, published in Foundations of Science

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

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

Title: Varieties of Metric and Quantitative Algebras

Wataru Hino

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

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

Title: Supercritical Space-Width Trade-offs for Resolution

Christoph Berkholz, Jakob Nordström

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

[55] arXiv:1612.07354 (cross-list from math.GN) [pdf, other]

Title: SPM Bulletin 40

Boaz Tsaban (editor)

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

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

Title: The "paradox" of computability and a recursive relative version of the Busy Beaver function

Felipe S. Abrahão

Comments: 10 pages. 0 figures. Supported by the National Council for Scientific and Technological Development (CNPq), Brazil. Book chapter published in Information and Complexity, Mark Burgin and Cristian S. Calude (Editors), World Scientific Publishing, 2016, ISBN 978-981-3109-02-5, available at this http URL. arXiv admin note: substantial text overlap with arXiv:1612.05221

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

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

Title: Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures

Libor Barto, Michael Kompatscher, Miroslav Olšák, Trung Van Pham, Michael Pinsker

Comments: 24 pages

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

[58] arXiv:1612.08030 (cross-list from math.CO) [pdf, other]

Title: Enumerating projections of integer points in unbounded polyhedra

Danny Nguyen, Igor Pak

Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO)

[59] arXiv:1612.08217 (cross-list from math.OA) [pdf, other]

Title: Actions of rigid groups on UHF-algebras

Eusebio Gardella, Martino Lupini

Comments: 24 pages, changed title

Subjects: Operator Algebras (math.OA); Dynamical Systems (math.DS); Logic (math.LO)

[60] arXiv:1612.09108 (cross-list from math.NT) [pdf, other]

Title: Nonstandard Measure Spaces with Values in non-Archimedean Fields

Heiko Knospe

Comments: 29 pages, 2 figures

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

[61] arXiv:1612.09305 (cross-list from math.ST) [pdf, other]

Title: On Extended Admissible Procedures and their Nonstandard Bayes Risk

Haosui Duanmu, Daniel M. Roy

Comments: 45 pages

Subjects: Statistics Theory (math.ST); Logic (math.LO)

[62] arXiv:1612.09375 (cross-list from math.CT) [pdf, html, other]

Title: Basic Category Theory

Tom Leinster

Comments: Textbook, vii+183 pages, 107 exercises. Version 2: small number of minor corrections

Journal-ref: Cambridge Studies in Advanced Mathematics, Vol. 143, Cambridge University Press, 2014

Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); Logic (math.LO)

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

Title: Universal actions and representations of locally finite groups on metric spaces

Michal Doucha

Comments: To appear in Israel Journal of Mathematics

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

[64] arXiv:1612.09467 (cross-list from math.NT) [pdf, other]

Title: Weak admissibility, primitivity, o-minimality, and Diophantine approximation

Martin Widmer

Comments: Comments are welcome

Journal-ref: Mathematika 64 (2018) 475-496

Subjects: Number Theory (math.NT); Dynamical Systems (math.DS); Logic (math.LO)