Logic

Authors and titles for October 2019

[1] arXiv:1910.00039 [pdf, other]

Title: Graded modal logic and counting bisimulation

Martin Otto

Comments: (minor revision 2023)

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

[2] arXiv:1910.00191 [pdf, other]

Title: Continuous integration logic

Seyed-Mohammad Bagheri, Massoud Pourmahdian

Subjects: Logic (math.LO)

[3] arXiv:1910.00689 [pdf, other]

Title: Algebras from Congruences

Peter Mayr, Agnes Szendrei

Comments: 39 pages

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

[4] arXiv:1910.00776 [pdf, other]

Title: The isomorphism theorem for linear fragments of continuous logic

Seyed-Mohammad Bagheri

Subjects: Logic (math.LO)

[5] arXiv:1910.00926 [pdf, other]

Title: Definable selector for $\bfΔ^0_2$ sets modulo countable

Vladimir Kanovei

Comments: 2 pages

Subjects: Logic (math.LO)

[6] arXiv:1910.01094 [pdf, other]

Title: More number theory in $βN$

Boris Šobot

Subjects: Logic (math.LO)

[7] arXiv:1910.01393 [pdf, other]

Title: Involutive uninorm logic with fixed point enjoys finite strong standard completeness

Sándor Jenei

Subjects: Logic (math.LO)

[8] arXiv:1910.01397 [pdf, other]

Title: Group-like Uninorms

Sándor Jenei

Subjects: Logic (math.LO)

[9] arXiv:1910.01496 [pdf, other]

Title: Peterzil-Steinhorn subgroups and $μ$-stabilizers in ACF

Moshe Kamensky, Sergei Starchenko, Jinhe Ye

Comments: Final update prior to publication

Subjects: Logic (math.LO)

[10] arXiv:1910.01856 [pdf, other]

Title: Construction of the Circle in UniMath

Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson, Michael Shulman

Comments: 27 pages; many improvements thanks to referee comments; added Shulman as co-author, who helped write a new section on the interpretation in higher toposes

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

[11] arXiv:1910.01879 [pdf, other]

Title: To reorient is easier than to orient: an on-line algorithm for reorientation of graphs

Marta Fiori-Carones, Alberto Marcone

Comments: Only minor (non mathematical) changes introduced. To appear in Computability

Journal-ref: Computability, 10 (2021), 215-233

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

[12] arXiv:1910.02257 [pdf, other]

Title: Complexity of finite-variable fragments of propositional modal logics of symmetric frames

Mikhail Rybakov, Dmitry Shkatov

Journal-ref: Logic Journal of the IGPL, Volume 27, Issue 1, February 2019, Pages 60-68

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

[13] arXiv:1910.02265 [pdf, other]

Title: Structural Properties of the Stable Core

Sy-David Friedman, Victoria Gitman, Sandra Müller

Subjects: Logic (math.LO)

[14] arXiv:1910.02286 [pdf, other]

Title: On factoring of unlimited integers

Karel Hrbacek

Journal-ref: Journal of Logic and Analysis 12 5 (2020) 1-6

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

[15] arXiv:1910.02419 [pdf, other]

Title: Colouring of successor of regular again

Saharon Shelah

Subjects: Logic (math.LO)

[16] arXiv:1910.02489 [pdf, other]

Title: Open sets in computability theory and Reverse Mathematics

Dag Normann, Sam Sanders

Comments: 40 pages, to appear in Journal of Logic and Computation, Special Issue on Logical Foundations of Computer Science (LFCS2020)

Subjects: Logic (math.LO)

[17] arXiv:1910.02888 [pdf, other]

Title: A note on $μ$-stabilizers in ACVF

Jinhe Ye

Comments: 15 pages

Subjects: Logic (math.LO)

[18] arXiv:1910.03674 [pdf, other]

Title: Stone pseudovarieties

Jorge Almeida, Ondřej Klíma

Comments: Parts of the first version of this paper have been moved to other papers

Journal-ref: Results in Math. 79 (2024) article no. 252

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

[19] arXiv:1910.04015 [pdf, other]

Title: Algebraic results on universal quantifiers in monoidal t-norm based logic

Jun Tao Wang

Subjects: Logic (math.LO)

[20] arXiv:1910.04029 [pdf, other]

Title: Condensable models of set theory

Ali Enayat

Comments: 15 pages (this is revised version of a previously posted draft)

Subjects: Logic (math.LO)

[21] arXiv:1910.04380 [pdf, other]

Title: Monadic stability and growth rates of $ω$-categorical structures

Samuel Braunfeld

Comments: 13 pages; to appear in Proceedings of the London Mathematical Society

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

[22] arXiv:1910.04481 [pdf, other]

Title: Variations on $Δ^1_1$ Determinacy and $\aleph_{ω_1}$

Ramez L. Sami

Comments: 10 pages. Content identical to previous version: Corrected Mathjax Abstract which was a mess (author's mistake)

Subjects: Logic (math.LO)

[23] arXiv:1910.04904 [pdf, other]

Title: Semialgebraic methods and generalized sum-product phenomena

Yifan Jing, Souktik Roy, Chieu-Minh Tran

Comments: 23 pages

Journal-ref: Discrete Analysis 2022:18, 23 pp

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

[24] arXiv:1910.05120 [pdf, other]

Title: Deducibility of Identicals, Reflection Principle and Synthetic Connectives

Yuki Nishimuta

Subjects: Logic (math.LO)

[25] arXiv:1910.05159 [pdf, other]

Title: Perfect Subtree Property for Weakly Compact Cardinals

Yair Hayut, Sandra Müller

Subjects: Logic (math.LO)

[26] arXiv:1910.05284 [pdf, other]

Title: The Pentagon as a Substructure Lattice of Models of Peano Arithmetic

James H. Schmerl

Comments: This paper replaces a previous, similarly titled paper

Subjects: Logic (math.LO)

[27] arXiv:1910.05556 [pdf, other]

Title: Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids

Dmitry Shkatov, C. J. Van Alten

Journal-ref: Algebra Universalis, 80(3), 2019, article 36

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

[28] arXiv:1910.05641 [pdf, other]

Title: On categories of o-minimal structures

Rodrigo Figueiredo, Hugo Luiz Mariano

Comments: 9 pages, 4 figures

Subjects: Logic (math.LO)

[29] arXiv:1910.05825 [pdf, other]

Title: A minimal pair in the generic degrees

Denis R. Hirschfeldt

Journal-ref: J. symb. log. 85 (2020) 531-537

Subjects: Logic (math.LO)

[30] arXiv:1910.05834 [pdf, other]

Title: On a strengthening of Jónssonness for $\aleph_ω$

Monroe Eskew

Subjects: Logic (math.LO)

[31] arXiv:1910.05932 [pdf, other]

Title: Dp-finite fields II: the canonical topology and its relation to henselianity

Will Johnson

Comments: Added reference to Halevi-Palacin

Subjects: Logic (math.LO)

[32] arXiv:1910.06406 [pdf, other]

Title: Clouds in Higher Dimensions

Samuel Desrochers

Comments: 8 pages, 2 figures

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

[33] arXiv:1910.06520 [pdf, other]

Title: Mahlo classes for first-order reflections

Toshiyasu Arai

Subjects: Logic (math.LO)

[34] arXiv:1910.07750 [pdf, other]

Title: Partial combinatory algebra and generalized numberings

H. P. Barendregt, S. A. Terwijn

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

[35] arXiv:1910.07913 [pdf, other]

Title: Representations and the foundations of mathematics

Sam Sanders

Comments: 24 pages, one figure. To appear in Notre Dame Journal for Formal Logic. Uses the same or similar 'preliminaries' or 'appendix' section as arXiv:1910.02489, arXiv:1908.05677, arXiv:1908.05676, arXiv:1905.04058

Journal-ref: Notre Dame J. Formal Logic 63, no. 1 (2022), 1-28

Subjects: Logic (math.LO)

[36] arXiv:1910.07926 [pdf, other]

Title: A note on the finitization of Abelian and Tauberian theorems

Thomas Powell

Subjects: Logic (math.LO)

[37] arXiv:1910.08188 [pdf, other]

Title: Strong ergodicity around countable products of countable equivalence relations

Assaf Shani

Subjects: Logic (math.LO)

[38] arXiv:1910.08389 [pdf, other]

Title: On superstability in the class of flat modules and perfect rings

Marcos Mazari-Armida

Comments: 14 pages. AECs preliminaries overlap with arXiv:1908.02189

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

[39] arXiv:1910.08621 [pdf, other]

Title: Abelian group actions and hypersmooth equivalence relations

Michael R. Cotton

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

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

[40] arXiv:1910.08793 [pdf, other]

Title: Entangledness in Suslin lines and trees

John Krueger

Subjects: Logic (math.LO)

[41] arXiv:1910.09009 [pdf, other]

Title: Residuation in finite posets

Ivan Chajda, Helmut Länger

Subjects: Logic (math.LO)

[42] arXiv:1910.09258 [pdf, other]

Title: Computability in partial combinatory algebras

S. A. Terwijn

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

[43] arXiv:1910.09724 [pdf, other]

Title: Structural Considerations of Ramsey Algebras

Zu Yao Teoh

Comments: 19 pages

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

[44] arXiv:1910.10572 [pdf, other]

Title: Externally definable quotients and NIP expansions of the real ordered additive group

Erik Walsberg

Comments: Filled a gap and improved exposition. Comments are welcome

Subjects: Logic (math.LO)

[45] arXiv:1910.10774 [pdf, other]

Title: Generic wide indiscernible sets

Alexander Usvyatsov

Subjects: Logic (math.LO)

[46] arXiv:1910.10811 [pdf, other]

Title: Classification over a predicate -- the general case. Part I -- structure theory

Saharon Shelah, Alexander Usvyatsov

Subjects: Logic (math.LO)

[47] arXiv:1910.11025 [pdf, other]

Title: Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

Joshua Brot, Mengyang Cao, David Fernández-Bretón

Comments: 23 pages, 1 figure+1 picture. A few typos corrected, and some references updated, as compared to the previous version

Journal-ref: Annals of Pure and Applied Logic 172 no. 6 (2021), 102961

Subjects: Logic (math.LO)

[48] arXiv:1910.11181 [pdf, other]

Title: The Measure Game

Logan Crone, Lior Fishman, Stephen Jackson, Houston Schuerger, David Simmons

Subjects: Logic (math.LO)

[49] arXiv:1910.11213 [pdf, other]

Title: Turing Degrees and Randomness for Continuous Measures

Mingyang Li, Jan Reimann

Comments: 22 pages

Subjects: Logic (math.LO)

[50] arXiv:1910.11230 [pdf, other]

Title: Counting siblings in universal theories

Samuel Braunfeld, Michael C. Laskowski

Comments: 26 pages; v3 to appear in Journal of Symbolic Logic

Journal-ref: J. Symb. Log. 87 (2022), 1130-1155

Subjects: Logic (math.LO)