Logic

Authors and titles for April 2022

[1] arXiv:2204.00099 [pdf, other]

Title: Decidability bounds for Presburger arithmetic extended by sine

Eion Blanchard, Philipp Hieronymi

Comments: 35 pages, 4 figures

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

[2] arXiv:2204.00247 [pdf, other]

Title: Infinite Combinatorics revisited in the absence of Axiom of Choice

Tamás Csernák, Lajos Soukup

Comments: new, rewritten version, 14 pages

Subjects: Logic (math.LO)

[3] arXiv:2204.01798 [pdf, other]

Title: A combinatorial property of rho-functions

Dilip Raghavan, Stevo Todorcevic

Comments: 7 Pages, submitted

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

[4] arXiv:2204.01799 [pdf, other]

Title: Galvin's problem in higher dimensions

Dilip Raghavan, Stevo Todorcevic

Comments: 6 pages, submitted

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

[5] arXiv:2204.01895 [pdf, other]

Title: Pregeometry over locally o-minimal structure and dimension

Masato Fujita

Subjects: Logic (math.LO)

[6] arXiv:2204.01898 [pdf, other]

Title: Notes on definably complete locally o-minimal expansions of ordered groups

Masato Fujita

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

Journal-ref: Section 4 is published in Mathematical Logic Quarterly, vol. 69, pp.104-116, 2023

Subjects: Logic (math.LO)

[7] arXiv:2204.02652 [pdf, other]

Title: Quasi groupes de Frobenius dimensionnels

Samuel Zamour

Comments: in French

Journal-ref: Model Th. 2 (2023) 69-100

Subjects: Logic (math.LO)

[8] arXiv:2204.02705 [pdf, other]

Title: Partition genericity and pigeonhole basis theorems

Benoit Monin, Ludovic Patey

Comments: 23 pages

Journal-ref: J. symb. log. 89 (2024) 829-857

Subjects: Logic (math.LO)

[9] arXiv:2204.02860 [pdf, other]

Title: On Cohen and Prikry Forcing Notions

Tom Benhamou, Moti Gitik

Comments: Corrected typos, added details to the proof of the main theorems, and improved the result about the Merimovich Extender-based Prikry forcing: we now prove that in its general form, it cannot answer Woodin's question

Journal-ref: J. symb. log. 89 (2024) 858-904

Subjects: Logic (math.LO)

[10] arXiv:2204.03553 [pdf, other]

Title: Embeddings between partial combinatory algebras

Anton Golov, Sebastiaan A. Terwijn

Comments: 31 pages

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

[11] arXiv:2204.03557 [pdf, other]

Title: Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures

James H. Schmerl

Comments: There was an error that I was unable to correct

Subjects: Logic (math.LO)

[12] arXiv:2204.03910 [pdf, html, other]

Title: Generic Stability and Modes of Convergence

Karim Khanaki

Comments: 34 pages, to appear in JSL

Subjects: Logic (math.LO)

[13] arXiv:2204.03915 [pdf, other]

Title: A model in which the Separation principle holds for a given effective projective Sigma-class

Vladimir Kanovei, Vassily Lyubetsky

Comments: 17 pages

Journal-ref: Axioms 2022, 11, no. 3, article no. 122

Subjects: Logic (math.LO)

[14] arXiv:2204.04087 [pdf, other]

Title: Games on AF-algebras

Ben De Bondt, Andrea Vaccaro, Boban Velickovic, Alessandro Vignati

Comments: 29 pages

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

[15] arXiv:2204.04158 [pdf, html, other]

Title: Hensel minimality: Geometric criteria for $\ell$-h-minimality

Floris Vermeulen

Comments: 38 pages, accepted version

Subjects: Logic (math.LO)

[16] arXiv:2204.04594 [pdf, html, other]

Title: On equivalence relations induced by Polish groups

Longyun Ding, Yang Zheng

Comments: 45 pages, submitted

Subjects: Logic (math.LO)

[17] arXiv:2204.04671 [pdf, other]

Title: Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems

Prosenjit Howlader, Mohua Banerjee

Comments: To appear in Journal of Logic Language and Information

Subjects: Logic (math.LO)

[18] arXiv:2204.05277 [pdf, other]

Title: Borel complexity of the set of typical numbers

Jakub Tomaszewski

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

[19] arXiv:2204.05700 [pdf, other]

Title: Dedekind-finite cardinals having countable partitions

Supakun Panasawatwong, J K Truss

Subjects: Logic (math.LO)

[20] arXiv:2204.05774 [pdf, other]

Title: Weak Indestructibility and Reflection

James Holland

Comments: 24 pages

Journal-ref: J. symb. log. 89 (2024) 980-1006

Subjects: Logic (math.LO)

[21] arXiv:2204.05831 [pdf, html, other]

Title: Very large set axioms over constructive set theories

Hanul Jeon, Richard Matthews

Comments: 51 pages, Final version

Journal-ref: Bull. symb. log 30 (2024) 455-535

Subjects: Logic (math.LO)

[22] arXiv:2204.05900 [pdf, other]

Title: Extension of Lipschitz maps definable in Hensel minimal structures

Krzysztof Jan Nowak

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

[23] arXiv:2204.06051 [pdf, other]

Title: On rearrangement inequalities for T-norm logics

Chai Wah Wu

Comments: 13 pages, 3 tables, corrected minor typos

Journal-ref: Logica Universalis, Volume 17, pages 331-346, (2023)

Subjects: Logic (math.LO)

[24] arXiv:2204.06874 [pdf, other]

Title: A Note on Edge Colorings and Trees

Adi Jarden, Ziv Shami

Subjects: Logic (math.LO)

[25] arXiv:2204.07521 [pdf, other]

Title: On locally finite orthomodular lattices

Dominika Burešová, Pavel Pták

Comments: 5 pages, 0 figures

Subjects: Logic (math.LO); Mathematical Physics (math-ph)

[26] arXiv:2204.07575 [pdf, other]

Title: Les nombres de Cuesta-Conway comme extension des ordinaux de Cantor: une courte introduction aux nombres surréels

Labib Haddad

Comments: 21 pages, in French

Subjects: Logic (math.LO)

[27] arXiv:2204.07990 [pdf, other]

Title: The small index property of the Fraïssé limit of finite Heyting algebras

Kentaro Yamamoto

Comments: Revised version with more prose; Comments welcome; 8 pages

Subjects: Logic (math.LO)

[28] arXiv:2204.08257 [pdf, other]

Title: On well-splitting posets

Dušan Repovš, Lyubomyr Zdomskyy

Comments: 10 pages. This is the submitted version, but it is rather close to the accepted one

Journal-ref: Arch. Math. Logic 61:7-8 (2022), 995-1005

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

[29] arXiv:2204.08374 [pdf, other]

Title: Untangled: A Complete Dynamic Topological Logic

David Fernández-Duque, Yoàv Montacute

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

[30] arXiv:2204.08375 [pdf, other]

Title: Orbit pseudometrics and a universality property of the Gromov-Hausdorff distance

Ondřej Kurka

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

[31] arXiv:2204.09142 [pdf, other]

Title: Bi-Colored Expansions of Geometric Theories

Somayye Jalili, Mohsen Khani, Massoud Pourmahdian

Subjects: Logic (math.LO)

[32] arXiv:2204.09321 [pdf, other]

Title: Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis

Anton Freund

Subjects: Logic (math.LO)

[33] arXiv:2204.09329 [pdf, other]

Title: Deterministic Distributed algorithms and Descriptive Combinatorics on Δ-regular trees

Sebastian Brandt, Yi-Jun Chang, Jan Grebík, Christoph Grunau, Václav Rozhoň, Zoltán Vidnyánszky

Comments: This paper is an extension of some parts of the conference paper "Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics (arXiv:2106.02066)

Subjects: Logic (math.LO); Distributed, Parallel, and Cluster Computing (cs.DC)

[34] arXiv:2204.09766 [pdf, other]

Title: Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal

Joel David Hamkins, Bokai Yao

Comments: 36 pages, 6 figures. Commentary can be made on the first author's blog at this http URL. V2 contains several refinements, improvements to exposition, and additional citations

Journal-ref: J. symb. log. 89 (2024) 1007-1043

Subjects: Logic (math.LO)

[35] arXiv:2204.09878 [pdf, html, other]

Title: Computably totally disconnected locally compact groups

Alexander Melnikov, Andre Nies

Comments: Definition 2.4 of c.l.c. trees is changed in this version 3 to take care of uniformity issues in the equivalence theorems. The presentation no longer comes with the information whether the group is compact

Subjects: Logic (math.LO)

[36] arXiv:2204.10758 [pdf, other]

Title: Vector spaces with a dense-codense generic submodule

Alexander Berenstein, Christian d'Elbée, Evgueni Vassiliev

Comments: 41 pages

Subjects: Logic (math.LO)

[37] arXiv:2204.10794 [pdf, other]

Title: Operator residuation in orthomodular posets of finite height

Ivan Chajda, Helmut Länger

Subjects: Logic (math.LO)

[38] arXiv:2204.10887 [pdf, other]

Title: Truth-relevant Logic, Propositional Calculus

X.Y. Newberry

Subjects: Logic (math.LO)

[39] arXiv:2204.10991 [pdf, other]

Title: A new perspective on semi-retractions and the Ramsey property

Dana Bartošová, Lynn Scow

Comments: 33 pages

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

[40] arXiv:2204.11284 [pdf, other]

Title: Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability

Saeideh Bahrami

Journal-ref: J. symb. log. 89 (2024) 1044-1066

Subjects: Logic (math.LO)

[41] arXiv:2204.11289 [pdf, other]

Title: Complexity and Avoidance

Hayden Jananthan

Comments: Dissertation under the direction of Professor Stephen G. Simpson, submitted to the faculty of the Graduate School of Vanderbilt University in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics. viii+157 pages. 5 figures. ORCID: 0000-0001-6877-0923

Subjects: Logic (math.LO); Computation and Language (cs.CL)

[42] arXiv:2204.11323 [pdf, other]

Title: A note on Pontryagin duality and continuous logic

Nicolas Chavarria, Anand Pillay

Comments: 11 pages

Subjects: Logic (math.LO)

[43] arXiv:2204.11694 [pdf, other]

Title: There is a P-measure in the random model

Piotr Borodulin-Nadzieja, Damian Sobota

Subjects: Logic (math.LO)

[44] arXiv:2204.12133 [pdf, other]

Title: Non-determinsitic algebraic rewriting as adjunction

Răzvan Diaconescu

Subjects: Logic (math.LO); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

[45] arXiv:2204.12203 [pdf, other]

Title: Lower bounds of sets of P-points

Borisa Kuzeljevic, Dilip Raghavan, Jonathan L. Verner

Subjects: Logic (math.LO)

[46] arXiv:2204.13297 [pdf, other]

Title: Strong Medvedev reducibilities and the KL-randomness problem

Bjørn Kjos-Hanssen, David J. Webb

Subjects: Logic (math.LO)

[47] arXiv:2204.13401 [pdf, other]

Title: Positive Modal Logic Beyond Distributivity

Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini

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

[48] arXiv:2204.13754 [pdf, other]

Title: Philosophical Uses of Categoricity Arguments

Penelope Maddy, Jouko Väänänen

Subjects: Logic (math.LO)

[49] arXiv:2204.13756 [pdf, other]

Title: What model companionship can say about the Continuum problem

Giorgio Venturi, Matteo Viale

Journal-ref: The Review of Symbolic Logic 17 (2024) 546-585

Subjects: Logic (math.LO)

[50] arXiv:2204.13790 [pdf, other]

Title: Semi-equational theories

Artem Chernikov, Alex Mennen

Comments: Version 2: 28 pages. This version of the article was significantly shortened for the journal publication, resulting in many details, examples and general results about semi-equationality being omitted. For the full version of the article see arXiv:2204.13790v1. Accepted to the Journal of Symbolic Logic

Subjects: Logic (math.LO)

[51] arXiv:2204.14101 [pdf, other]

Title: Ramsey theory over partitions II: Negative Ramsey relations and pump-up theorems

Menachem Kojman, Assaf Rinot, Juris Steprans

Comments: A sequel to arXiv:2102.07241

Subjects: Logic (math.LO)

[52] arXiv:2204.14131 [pdf, other]

Title: Compound conditionals as random quantities and Boolean algebras

Tommaso Flaminio, Angelo Gilio, Lluis Godo, Giuseppe Sanfilippo

Subjects: Logic (math.LO)

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

Title: Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

Jonathan Weinberger

Comments: 76 pages. This text is essentially Chapter 5 and Appendices A and B from author's PhD thesis arXiv:2202.13132. Updated as per referee comments

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

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

Title: Exploring mathematical objects from custom-tailored mathematical universes

Ingo Blechschmidt

Comments: 32 pages, 3 figures, 1 video

Journal-ref: Objects, Structures, and Logics: FilMat Studies in the Philosophy of Mathematics (2022), eds. Gianluigi Oliveri, Claudio Ternullo and Stefano Boscolo. pages 63-95

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

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

Title: An Algebraic Hypergraph Regularity Lemma

Alexis Chevalier, Elad Levi

Comments: 54 pages. Corrected some minor inaccuracies in the first version

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

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

Title: The period isomorphism in tame geometry

Annette Huber

Comments: 22 pages

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

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

Title: Asymptotic Theories of Classes Defined by Forbidden Homomorphisms

Manuel Bodirsky, Colin Jahel

Comments: An error raised by an anonymous referee has been fixed

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

[58] arXiv:2204.01557 (cross-list from math.FA) [pdf, html, other]

Title: The Josefson--Nissenzweig theorem and filters on $ω$

Witold Marciszewski, Damian Sobota

Comments: 30 pages

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

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

Title: Covering entropy for types in tracial $\mathrm{W}^*$-algebras

David Jekel

Comments: 63 pages, corrections and minor additions, appendix removed

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

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

Title: Orthogonality of measures and states

Severin Mejak

Comments: 20 pages

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

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

Title: Invariant Ideal Axiom

Michael Hrušák, Alexander Shibakov

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

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

Title: Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning

Xinyu Wang

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

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

Title: Partitions of topological spaces and a new club-like principle

Rodrigo Carvalho, Gabriel Fernandes, Lúcia R. Junqueira

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

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

Title: R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces

Anton Freund, Ulrich Kohlenbach

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

[65] arXiv:2204.04526 (cross-list from math.RT) [pdf, html, other]

Title: Oligomorphic groups and tensor categories

Nate Harman, Andrew Snowden

Comments: 135 pages

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

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

Title: The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics

Stephen Wolfram

Subjects: History and Overview (math.HO); Discrete Mathematics (cs.DM); Logic (math.LO)

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

Title: The classification problem for extensions of torsion-free abelian groups, I

Martino Lupini

Comments: There is a mistake in the proof of Proposition 6.9 which affects Theorem C. The rest of the results are correct but will be expanded and included in different submissions

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

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

Title: $\mathsf{SOCA}$ and $\mathsf{OGA}$ for $\mathsf{HL}$ spaces with strong properties

José Antonio Corona-García, Iván Ongay-Valverde, Ulises Ariet Ramos-García

Comments: 18 pages

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

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

Title: Bi-algebraicity in the rank one Riemann--Hilbert correspondence via o-minimality

Abhishek Oswal

Comments: 12 pages

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

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

Title: Polish spaces of Banach spaces. Complexity of isometry and isomorphism classes

Marek Cúth, Martin Doležal, Michal Doucha, Ondřej Kurka

Comments: This paper is a result of splitting the original arxiv submission arXiv:1912.03994 into two parts and some polishing - based on the comments of the referees. This is the second part. The original submission arXiv:1912.03994 will be replaced by the first part of the split

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

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

Title: Dependence Logics in Temporal Settings

Alexandru Baltag, Johan van Benthem, Dazhu Li

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

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

Title: An improved bound for regular decompositions of $3$-uniform hypergraphs of bounded $VC_2$-dimension

C. Terry

Journal-ref: Model Th. 2 (2023) 325-356

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

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

Title: RNNCTPs: A Neural Symbolic Reasoning Method Using Dynamic Knowledge Partitioning Technology

Yu-hao Wu, Hou-biao Li

Comments: 16 pages, 8 figures,5 tables

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

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

Title: A ${\mathbb N}$atural Avenue

Roberto Conti, Pierluigi Contucci

Comments: 12 pages, including 4 figures. v2: added new results; other minor changes

Subjects: Number Theory (math.NT); Mathematical Physics (math-ph); Combinatorics (math.CO); Logic (math.LO)

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

Title: On Quantitative Algebraic Higher-Order Theories

Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone

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

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

Title: Group equations with abelian predicates

Laura Ciobanu, Albert Garreta

Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)