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)