Logic

Authors and titles for February 2018

[1] arXiv:1802.00256 [pdf, other]

Title: Imaginaries, invariant types and pseudo p-adically closed fields

Samaria Montenegro, Silvain Rideau

Comments: Minor corrections. Acknowledgement of support by ValCoMo (ANR-13-BS01-0006) added

Subjects: Logic (math.LO)

[2] arXiv:1802.00370 [pdf, other]

Title: Acceptable colorings of indexed hyperspaces

James H. Schmerl

Journal-ref: J. symb. log. 83 (2018) 1644-1666

Subjects: Logic (math.LO)

[3] arXiv:1802.00467 [pdf, other]

Title: Twists and Twistability

Rebecca Coulson

Subjects: Logic (math.LO); Combinatorics (math.CO)

[4] arXiv:1802.00528 [pdf, other]

Title: Implicative algebras: a new foundation for realizability and forcing

Alexandre Miquel

Comments: 56 pages. Revised version (after reviewers' comments)

Journal-ref: Math. Struct. Comp. Sci. 30 (2020) 458-510

Subjects: Logic (math.LO)

[5] arXiv:1802.00961 [pdf, other]

Title: Disjunctive Axioms and Concurrent $λ$-Calculi: a Curry-Howard Approach

F. Aschieri, A. Ciabattoni, F. A. Genco

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

[6] arXiv:1802.00974 [pdf, other]

Title: Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination

Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods

Comments: 14 pages, 1 figure

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Combinatorics (math.CO)

[7] arXiv:1802.01137 [pdf, other]

Title: On some variants of the club principle

Ashutosh Kumar, Saharon Shelah

Subjects: Logic (math.LO)

[8] arXiv:1802.01355 [pdf, other]

Title: A Galois connection between Turing jumps and limits

Vasco Brattka

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 3, Computability and logic (August 31, 2018) lmcs:4287

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

[9] arXiv:1802.01795 [pdf, other]

Title: A Lean formalization of Matiyasevič's Theorem

Mario Carneiro

Comments: 6 pages

Subjects: Logic (math.LO)

[10] arXiv:1802.01820 [pdf, other]

Title: Fuzzification of Strongly Compact and Locally Strongly Compact Spaces

O. R. Sayed, Adem Kilicman

Comments: 26 pages

Subjects: Logic (math.LO)

[11] arXiv:1802.02291 [pdf, other]

Title: Neighborhood Contingency Logic: A New Perspective

Jie Fan

Comments: 17 pages

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

[12] arXiv:1802.02791 [pdf, other]

Title: More ZFC inequalities between cardinal invariants

Vera Fischer, Daniel T. Soukup

Comments: 15 pages, significantly extended with new results and diagrams, comments are very welcome. Minor corrections

Subjects: Logic (math.LO)

[13] arXiv:1802.03224 [pdf, other]

Title: Unification nets: canonical proof net quantifiers

Dominic J. D. Hughes

Comments: 34 pages, 11 figures

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

[14] arXiv:1802.03323 [pdf, other]

Title: Definable functions in tame expansions of algebraically closed valued fields

Pablo Cubides Kovacsics, Françoise Delon

Subjects: Logic (math.LO)

[15] arXiv:1802.03361 [pdf, other]

Title: Pseudofinite groups and VC-dimension

Gabriel Conant, Anand Pillay

Comments: 18 pages

Journal-ref: Journal of Mathematical Logic 21 (2021) no. 2

Subjects: Logic (math.LO)

[16] arXiv:1802.03516 [pdf, other]

Title: A sequence of neighborhood contingency logics

Jie Fan

Comments: 10 pages

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

[17] arXiv:1802.03716 [pdf, other]

Title: Bimodal logics with contingency and accident

Jie Fan

Comments: 19 pages

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

[18] arXiv:1802.03805 [pdf, other]

Title: Quantum mechanics, ontology, and non-reflexive logics

Decio Krause

Comments: 27 pages, published paper

Subjects: Logic (math.LO)

[19] arXiv:1802.03831 [pdf, other]

Title: Algorithmic Randomness For Amenable Groups

Adam R. Day

Comments: The proof of theorem 7 is incorrect - it only shows the desired result on a computable subsequence

Subjects: Logic (math.LO)

[20] arXiv:1802.04880 [pdf, other]

Title: Generic Existence of Independent Families

Michael Perron

Comments: 5 pages

Subjects: Logic (math.LO)

[21] arXiv:1802.05303 [pdf, other]

Title: Generalized Egorov's statement for ideals

Michał Korch

Journal-ref: Real Anal. Exchange, 42(2), 2017

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

[22] arXiv:1802.05703 [pdf, other]

Title: $\aleph_0$-categoricity of semigroups

Victoria Gould, Thomas Quinn-Gregson

Subjects: Logic (math.LO); Rings and Algebras (math.RA)

[23] arXiv:1802.05732 [pdf, other]

Title: Distality for the asymptotic couple of the field of logarithmic transseries

Allen Gehret, Elliot Kaplan

Comments: 16 pp; 3 figures

Journal-ref: Notre Dame J. Formal Logic 61, no. 2 (2020), 341-361

Subjects: Logic (math.LO)

[24] arXiv:1802.05734 [pdf, other]

Title: Reachability for infinite time Turing machines with long tapes

Merlin Carl, Benjamin Rin, Philipp Schlicht

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 2 (April 24, 2020) lmcs:4444

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

[25] arXiv:1802.05750 [pdf, other]

Title: Special subsets of the generalized Cantor space $2^κ$ and generalized Baire space $κ^κ$

Michał Korch, Tomasz Weiss

Subjects: Logic (math.LO)

[26] arXiv:1802.05950 [pdf, other]

Title: Set existence principles and closure conditions: unravelling the standard view of reverse mathematics

Benedict Eastaugh

Comments: 26 pages

Subjects: Logic (math.LO)

[27] arXiv:1802.06210 [pdf, other]

Title: Very true pseudo-BCK algebras

Lavinia Corina Ciungu

Subjects: Logic (math.LO)

[28] arXiv:1802.06221 [pdf, other]

Title: A new foundational crisis in mathematics, is it really happening?

Mirna Džamonja

Comments: Final version

Subjects: Logic (math.LO)

[29] arXiv:1802.06400 [pdf, other]

Title: Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (June 25, 2019) lmcs:4302

Subjects: Logic (math.LO)

[30] arXiv:1802.06844 [pdf, other]

Title: On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures

Koen Lefever, Gergely Székely

Comments: 19 pages

Subjects: Logic (math.LO)

[31] arXiv:1802.07109 [pdf, other]

Title: The derived subgroup of linear and simply-connected o-minimal groups

Elías Baro

Comments: Final version of the paper

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

[32] arXiv:1802.07986 [pdf, other]

Title: A Version of $κ$-Miller Forcing

Heike Mildenberger, Saharon Shelah

Subjects: Logic (math.LO)

[33] arXiv:1802.08076 [pdf, other]

Title: Expansion Trees with Cut

Federico Aschieri, Stefan Hetzl, Daniel Weller

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

Journal-ref: Math. Struct. Comp. Sci. 29 (2019) 1009-1029

Subjects: Logic (math.LO)

[34] arXiv:1802.08078 [pdf, other]

Title: Distributions of countable models of quite o-minimal Ehrenfeucht theories

Beibut Kulpeshov, Sergey Sudoplatov

Subjects: Logic (math.LO)

[35] arXiv:1802.08088 [pdf, other]

Title: On relative separability in hypergraphs of models of theories

Beibut Kulpeshov, Sergey Sudoplatov

Subjects: Logic (math.LO)

[36] arXiv:1802.08092 [pdf, other]

Title: On structures in hypergraphs of models of a theory

Beibut Kulpeshov, Sergey Sudoplatov

Subjects: Logic (math.LO)

[37] arXiv:1802.08094 [pdf, other]

Title: On freedom and independence in hypergraphs of models of theories

Beibut Kulpeshov, Sergey Sudoplatov

Subjects: Logic (math.LO)

[38] arXiv:1802.08187 [pdf, other]

Title: A Logic of Strong Contact between Polytopes

Tsvetlin Marinov, Tinko Tinchev

Comments: Master thesis of Tsvetlin Marinov under the supervision of Tinko Tinchev. 33 pages

Subjects: Logic (math.LO)

[39] arXiv:1802.08341 [pdf, other]

Title: Embeddability on functions: order and chaos

Raphaël Carroy, Yann Pequignot, Zoltán Vidnyánszky

Journal-ref: Trans. Amer. Math. Soc. 371 (2019), 6711-6738

Subjects: Logic (math.LO)

[40] arXiv:1802.08508 [pdf, other]

Title: Exponential-constructible functions in $P$-minimal structures

Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt

Comments: 24 pages

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

[41] arXiv:1802.08574 [pdf, other]

Title: Strong measure zero and meager-additive sets through the prism of fractal measures

Ondrej Zindulka

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

Subjects: Logic (math.LO)

[42] arXiv:1802.09249 [pdf, other]

Title: Joins and meets in the structure of Ceers

Uri Andrews, Andrea Sorbi

Subjects: Logic (math.LO)

[43] arXiv:1802.09364 [pdf, other]

Title: Distributions of countable models of disjoint unions of Ehrenfeucht theories

Sergey Sudoplatov

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

Subjects: Logic (math.LO)

[44] arXiv:1802.10125 [pdf, other]

Title: Guessing models and the approachability ideal

Rahman Mohammadpour, Boban Velickovic

Comments: preliminary version, 30 pages

Subjects: Logic (math.LO)

[45] arXiv:1802.10261 [pdf, other]

Title: A cut-free proof system for a predicate extension of the logic of provability

Yoshihito Tanaka

Subjects: Logic (math.LO)

[46] arXiv:1802.00997 (cross-list from math.CT) [pdf, other]

Title: Polynomial pseudomonads and dependent type theory

Steve Awodey, Clive Newstead

Comments: 26 pages

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

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

Title: On Higher Inductive Types in Cubical Type Theory

Thierry Coquand, Simon Huber, Anders Mörtberg

Comments: 24 pages

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

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

Title: Differential Equation Axiomatization: The Impressive Power of Differential Ghosts

André Platzer, Yong Kiam Tan

Comments: LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, July 9-12, 2018, Oxford, United Kingdom, ACM ISBN 978-1-4503-5583-4/18/07

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Classical Analysis and ODEs (math.CA); Logic (math.LO)

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

Title: What makes a theory of infinitesimals useful? A view by Klein and Fraenkel

Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Thomas Mormann

Comments: 10 pages, published in Journal of Humanistic Mathematics this http URL

Journal-ref: Journal of Humanistic Mathematics, Volume 8 Issue 1 (January 2018), pages 108-119

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

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

Title: Universal flows and automorphisms of $\mathcal P(ω)/\mathrm{fin}$

Will Brian

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

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

Title: A Schematic Definition of Quantum Polynomial Time Computability

Tomoyuki Yamakami

Comments: A4, 10pt, pp.29. This is a complete and corrected version of an extended abstract that appeared in the Proceedings of the 9th Workshop on Non-Classical Models of Automata and Applications (NCMA 2017), Prague, Czech Republic, August 17-18, 2017, the Austrian Computer Society, 2017

Journal-ref: J. symb. log. 85 (2020) 1546-1587

Subjects: Computational Complexity (cs.CC); Logic (math.LO); Quantum Physics (quant-ph)

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

Title: Fraïssé structures and a conjecture of Furstenberg

Dana Bartošová, Andy Zucker

Comments: Formerly titled "Samuel compactifications of automorphism groups," the paper was accepted in Comment. Math. Univ. Carolin., and the title was changed at the request of the referee

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

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

Title: Upper bound for the minimal quantifier depth of the first part of a monadic second-order sentence without asymptotic probability

Mickel González Sánchez, Maksim Evgenievich Zhukovskii

Comments: no significant new ideas

Subjects: Combinatorics (math.CO); Logic (math.LO)

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

Title: The Higher-Order Prover Leo-III (Extended Version)

Alexander Steen, Christoph Benzmüller

Comments: 13 pages (this is an extended version of the IJCAR 2018 paper)

Journal-ref: 9th International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings, Springer

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

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

Title: Impredicative Encodings of (Higher) Inductive Types

Steve Awodey, Jonas Frey, Sam Speight

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

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

Title: A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP

Manuel Bodirsky, Florent Madelaine, Antoine Mottet

Comments: A long version of an extended abstract that appeared in LICS 2018

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

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

Title: Structure and regularity for subsets of groups with finite VC-dimension

G. Conant, A. Pillay, C. Terry

Comments: 34 pages; final version

Journal-ref: Journal of the European Mathematical Society 24 (2022) no. 2, 583-621

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

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

Title: Higher Groups in Homotopy Type Theory

Ulrik Buchholtz, Floris van Doorn, Egbert Rijke

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

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

Title: The principle of pointfree continuity

Tatsuji Kawai, Giovanni Sambin

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 5, 2019) lmcs:4280

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

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

Title: On completeness and parametricity in the realizability semantics of System F

Paolo Pistone

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 4 (October 29, 2019) lmcs:4293

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

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

Title: The Dynamical Mordell-Lang Conjecture for endomorphisms of semiabelian varieties defined over fields of positive characteristic

Pietro Corvaja, Dragos Ghioca, Thomas Scanlon, Umberto Zannier

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

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

Title: Random Relation Algebras

Jeremy F. Alm

Subjects: Combinatorics (math.CO); Logic (math.LO)

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

Title: Lifting Problems in Grothendieck Fibrations

Andrew Swan

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

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

Title: Complex Cellular Structures

Gal Binyamini, Dmitry Novikov

Comments: Includes an appendix by Yosef Yomdin; to appear in Ann. of Math

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

[65] arXiv:1802.07588 (cross-list from math.CT) [pdf, other]

Title: W-Types with Reductions and the Small Object Argument

Andrew Swan

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

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

Title: Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

Christoph Benzmüller, Ali Farjami, Xavier Parent

Comments: 23 pages, 3 figures

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

[67] arXiv:1802.08476 (cross-list from math.OC) [pdf, other]

Title: The asymptotic behaviour of convex combinations of firmly nonexpansive mappings

Andrei Sipos

Subjects: Optimization and Control (math.OC); Functional Analysis (math.FA); Logic (math.LO)

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

Title: Implicit definability of truth constants in Łukasiewicz logic

Zuzana Haniková

Comments: presented at ManyVal 2017; submitted to Soft Computing journal

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

[69] arXiv:1802.08836 (cross-list from math.RT) [pdf, other]

Title: Some infinitely generated non projective modules over path algebras and their extensions under Martin's Axiom

Ayako Itaba, Diego A. Mejia, Teruyuki Yorioka

Comments: 20 pages

Journal-ref: J. Math. Soc. Japan 72 (2) 413-433 (2020)

Subjects: Representation Theory (math.RT); Logic (math.LO)

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

Title: Absolute Continuity and Large-Scale Geometry of Polish Groups

Jake Herndon

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