Logic

Authors and titles for May 2020

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

Title: Representing subalgebras as retracts of finite subdirect powers

Keith A. Kearnes, Alexander Rasstrigin

Comments: 13 pages. Keywords: abelian, formation, higher commutator, pseudovariety, supernilpotent, two term condition, unary algebra

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

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

Title: The Zhou Ordinal of Labelled Markov Processes over Separable Spaces

Martín Santiago Moroni, Pedro Sánchez Terraf

Comments: v1: 19 pages. v2: role of the logic on Introduction, relation with previous constructions and 1 figure. Many minor corrections. v3: 20 pages. First item in former Lemma 30 was incorrect, but all the main results are still correct. Accepted at Review of Symbolic Logic. We are very grateful for the referee's useful suggestions and detailed reading

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

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

Title: Large cardinals and continuity of coordinate functionals of filter bases in Banach spaces

Tomasz Kania, Jarosław Swaczyna

Comments: 10 pp

Subjects: Functional Analysis (math.FA); Logic (math.LO)

[54] arXiv:2005.06458 (cross-list from math.FA) [pdf, other]

Title: Local Banach-space dichotomies and ergodic spaces

W. Cuellar Carrera, N. de Rancourt, V. Ferenczi

Comments: 69 pages. As accepted in the Journal of the European Mathematical Society

Subjects: Functional Analysis (math.FA); Combinatorics (math.CO); Logic (math.LO)

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

Title: How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

Clément Aubert, Ioana Cristescu (HMS)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)

Clément Aubert, Ioana Cristescu

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: A model theoretic solution to a problem of László Fuchs

Marcos Mazari-Armida

Comments: 10 pages

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

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

Title: Acylindrical hyperbolicity and existential closedness

Simon André

Comments: 8 pages

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

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

Title: Quillen Model Structures-Based Notions of Locality of Logics over Finite Models

Hendrick Maia

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

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

Title: Some Common Mistakes in the Teaching and Textbooks of Modal Logic

Xuefeng Wen

Journal-ref: This is an English translation of the paper published in Studies in Logic (Chinese), 11(4A), 69-86, 2018

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

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

Title: Blurrings of the $j$-function

Vahagn Aslanyan, Jonathan Kirby

Comments: Minor changes

Journal-ref: The Quarterly Journal of Mathematics, 2021

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

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

Title: A characterization of productive cellularity

Renan Maneli Mezabarba, Leandro Fiorini Aurichi, Lucia Renato Junqueira

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

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

Title: Cohomology of algebraic varieties over non-archimedean fields

Pablo Cubides Kovacsics, Mário Edmundo, Jinhe Ye

Comments: New application added

Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Logic (math.LO)

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

Title: On small analytic relations

Dominique Lecomte (IMJ)

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

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

Title: Multiplicative independence of modular functions

Guy Fowler

Comments: 38 pages. Minor changes

Journal-ref: J. Th\'eor. Nombres Bordeaux 33 (2021), no. 2, 459-509

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

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

Title: Globular Multicategories with Homomorphism Types

Christopher J. Dean

Comments: 25 pages

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

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

Title: Ecumenical modal logic

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales

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