Logic

Authors and titles for July 2019

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

Title: QCSP monsters and the demise of the Chen Conjecture

Dmitriy Zhuk, Barnaby Martin

Comments: Lemma 17 was retracted and the boundary between co-NP-complete and PSpace-complete has shifted

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

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

Title: Rough concepts

Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg

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

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

Title: Finite axiomatizability for profinite groups

Andre Nies, Dan Segal, Katrin Tent

Comments: Replaces 'Finite axiomatizability for profinite groups I: group theory', adding significant additional material. New version has better proofs of bi-intepretability

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

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

Title: Homogeneous Dual Ramsey Theorem

Jose G. Mijares

Comments: 5 pages

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

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

Title: Constructive proof of Herschfeld's Convergence Theorem

Ran Gutin

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

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

Title: Independence of CM points in Elliptic Curves

Jonathan Pila, Jacob Tsimerman

Comments: 18 pages, comments welcome!

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

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

Title: Homogeneity of torsion-free hyperbolic groups

Ayala Dente-Byron, Chloé Perin

Comments: 40 pages

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

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

Title: A Neutral Temporal Deontic STIT Logic

Kees van Berkel, Tim Lyon

Comments: Appended version of the paper "A Neutral Temporal Deontic STIT logic", accepted to the 7th International Conference on Logic, Rationality and Interaction (LORI 2019)

Journal-ref: Logic, Rationality, and Interaction (2019) 340-354

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

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

Title: The Yoneda Reduction of Polymorphic Types (Extended Version)

Paolo Pistone, Luca Tranchini

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

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

Title: A duality theoretic view on limits of finite structures

Mai Gehrke, Tomáš Jakl, Luca Reggio

Comments: 19 pages

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

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

Title: The EL Theorem

Samuel Epstein

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

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

Title: An Introduction to Abstract Classification Theory in the Operator Algebraic Setting

Patrick Fraser

Comments: 18 pages, 2 figures

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

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

Title: Statistical Epistemic Logic

Yusuke Kawamoto

Journal-ref: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Lecture Notes in Computer Science, Vol.11760, pp.344-362, 2019

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

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

Title: On Rado conditions for nonlinear Diophantine equations

Jordan Mitchell Barrett, Martino Lupini, Joel Moreira

Comments: 22 pages

Journal-ref: European Journal of Combinatorics, Volume 94, May 2021, #103277

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

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

Title: Time-Stamped Claim Logic

João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Logic (math.LO)

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

Title: Ordinal sums of triangular norms on a bounded lattice

Yao Ouyang, Hua-Peng Zhang, Bernard De Baets

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

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

Title: On mathematical realism and the applicability of hyperreals

Emanuele Bottazzi, Vladimir Kanovei, Mikhail G. Katz, Thomas Mormann, David Sherry

Comments: 41 pages, published in Mat. Stud

Journal-ref: Mat. Stud. 51 (2019), no. 2, 200-224

Subjects: History and Overview (math.HO); Logic (math.LO)

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

Title: 19th century real analysis, forward and backward

Jacques Bair, Piotr Blaszczyk, Peter Heinig, Vladimir Kanovei, Mikhail G. Katz

Comments: 28 pages, to appear in Antiquitates Mathematicae

Journal-ref: Antiquitates Mathematicae 13 (2019), 19-49

Subjects: History and Overview (math.HO); Logic (math.LO)

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

Title: Delta -- new logic programming language and Delta-methodology for p-computable programs on Turing Complete Languages

Andrey Nechesov

Comments: Delta language is a new direction in the development of the theory of semantic programming. Delta-methodology it's new way for p-computable programs on Turing complete languages. Sobolev Institute of Mathematics. Novosibirsk. Paper 9 pages

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

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

Title: A note on the classification of Gamma factors

Román Sasyk

Comments: Old paper from 2015 that appeared in Revista de la Unión Matemática Argentina

Journal-ref: Rev. Un. Mat. Argentina 57 (2016), no. 1, 1--7

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

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

Title: Provenance Analysis for Logic and Games

Erich Grädel, Val Tannen

Journal-ref: Moscow J. Comb. Number Th. 9 (2020) 203-228

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

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

Title: Monomialization of a quasianalytic morphism

André Belotto da Silva, Edward Bierstone

Comments: 66 pages; revised version, theorems unchanged; to appear in Ann. Sci. Ecole Norm. Sup

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

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

Title: The $k$-Dimensional Weisfeiler-Leman Algorithm

Neil Immerman, Rik Sengupta

Comments: 7 pages

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic (math.LO)

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

Title: Solutions of equations involving the modular $j$ function

Sebastian Eterović, Sebastián Herrero

Comments: 25 pages. Proposition 4.1 has been modified. The proof of Proposition 10.1 has been corrected. Other minor changes have been implemented in order to improve the presentation

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

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

Title: Hyperfiniteness of boundary actions of hyperbolic groups

Timothée Marquis, Marcin Sabok

Comments: 22 pages. Final version. To appear in Mathematische Annalen

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

[76] arXiv:1907.10400 (cross-list from math.AC) [pdf, other]

Title: The Projection Problem in Commutative, Positively Ordered Monoids

Gianluca Cassese

Journal-ref: Semigroup Forum 2022

Subjects: Commutative Algebra (math.AC); Logic (math.LO)

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

Title: Extensional Higher-Order Paramodulation in Leo-III

Alexander Steen, Christoph Benzmüller

Comments: 34 pages, 7 Figures, 1 Table; submitted article

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

[78] arXiv:1907.12686 (cross-list from math.PR) [pdf, other]

Title: Concentration of measure, classification of submeasures, and dynamics of $L_{0}$

Friedrich Martin Schneider, Sławomir Solecki

Journal-ref: J. Funct. Anal. 280 (2021) 108890

Subjects: Probability (math.PR); Dynamical Systems (math.DS); Logic (math.LO)

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

Title: Simplicity of the automorphism groups of generalised metric spaces

David M. Evans, Jan Hubička, Matěj Konečný, Yibei Li, Martin Ziegler

Comments: Accepted to Journal of Algebra

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

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

Title: Complexity in Young's Lattice

Alexander Wires

Comments: 13 pages

Journal-ref: Annals of Pure and Applied Logic, Volume 173, Issue 4, 2022

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