Logic

Authors and titles for August 2019

[1] arXiv:1908.00179 [pdf, other]

Title: Bounds on Continuous Scott Rank

William Chan, Ruiyuan Chen

Subjects: Logic (math.LO)

[2] arXiv:1908.00280 [pdf, other]

Title: A note on ordinal exponentiation and derivatives of normal functions

Anton Freund

Journal-ref: Mathematical Logic Quarterly 66(3) 2020, pp. 326-335

Subjects: Logic (math.LO)

[3] arXiv:1908.00287 [pdf, other]

Title: Epimorphism surjectivity in varieties of Heyting algebras

T. Moraschini, J.J. Wannenburg

Subjects: Logic (math.LO)

[4] arXiv:1908.00534 [pdf, other]

Title: A logical and algebraic characterization of adjunctions between generalized quasi-varieties

T. Moraschini

Subjects: Logic (math.LO)

[5] arXiv:1908.00922 [pdf, other]

Title: A computational glimpse at the Leibniz and Frege hierarchies

T. Moraschini

Subjects: Logic (math.LO)

[6] arXiv:1908.00924 [pdf, other]

Title: On the complexity of the Leibniz hierarchy

T. Moraschini

Subjects: Logic (math.LO)

[7] arXiv:1908.01177 [pdf, other]

Title: Chain Logic and Shelah's Infinitary Logic

Mirna Džamonja, Jouko Väänänen

Comments: This version is the final autors' version. The paper is to appear in the Israel Journal of Mathematics

Subjects: Logic (math.LO)

[8] arXiv:1908.01200 [pdf, other]

Title: Effective Finite-Valued Approximations of General Propositional Logics

Matthias Baaz, Richard Zach

Comments: arXiv admin note: substantial text overlap with arXiv:math/0203204

Journal-ref: Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander (Eds.). Pillars of Computer Science. LNCS 4800. Berlin: Springer, 2008. 107-129

Subjects: Logic (math.LO)

[9] arXiv:1908.01332 [pdf, other]

Title: Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering

Dominik Adolf

Subjects: Logic (math.LO)

[10] arXiv:1908.01496 [pdf, other]

Title: Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's Paradox

Saeed Salehi

Comments: 6 pages

Journal-ref: Logic Journal of the IGPL 30:1 (2022) 71--77

Subjects: Logic (math.LO)

[11] arXiv:1908.01635 [pdf, other]

Title: NNIL-formulas revisited: universal models and finite model property

Julia Ilin, Dick de Jongh, Fan Yang

Subjects: Logic (math.LO)

[12] arXiv:1908.01659 [pdf, other]

Title: Varieties of positive modal algebras and structural completeness

T. Moraschini

Subjects: Logic (math.LO)

[13] arXiv:1908.01660 [pdf, other]

Title: Pseudo-finite sets, pseudo-o-minimality

Nadav Meir

Comments: 21 pages

Journal-ref: J. symb. log. 86 (2021) 577-599

Subjects: Logic (math.LO)

[14] arXiv:1908.01661 [pdf, other]

Title: A study of truth predicates in matrix semantics

T. Moraschini

Subjects: Logic (math.LO)

[15] arXiv:1908.02189 [pdf, other]

Title: Superstability, noetherian rings and pure-semisimple rings

Marcos Mazari-Armida

Comments: 23 pages

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

[16] arXiv:1908.02403 [pdf, other]

Title: A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

Juan M. Cornejo, Hanamantagouda P. Sankappanavar

Comments: 53 pages, 5 figures

Subjects: Logic (math.LO)

[17] arXiv:1908.02442 [pdf, other]

Title: A game-theoretic proof of Shelah's theorem on labeled trees

Trevor M. Wilson

Subjects: Logic (math.LO)

[18] arXiv:1908.02539 [pdf, other]

Title: A Note on the Possibility of Self-Reference in Mathematics

Arieh Lev

Subjects: Logic (math.LO)

[19] arXiv:1908.02639 [pdf, other]

Title: A Note on the "Third Life of Quantum Logic"

Christian Herrmann

Subjects: Logic (math.LO); Quantum Algebra (math.QA)

[20] arXiv:1908.02708 [pdf, other]

Title: On double-membership graphs of models of Anti-Foundation

Bea Adam-Day, John Howe, Rosario Mennuni

Comments: 15 pages, 2 figures

Journal-ref: Bull. Symb. Log. 29(1):128-144 (2023)

Subjects: Logic (math.LO)

[21] arXiv:1908.02712 [pdf, other]

Title: Saturated Free Algebras and Almost Indiscernible Theories

T. G. Kucera, Anand Pillay

Comments: Revised with corrections and acknowledgements. Final version to appear in Algebra Universalis

Subjects: Logic (math.LO)

[22] arXiv:1908.02965 [pdf, other]

Title: On Extensions of Partial Isomorphisms

Mahmood Etedadialiabadi, Su Gao

Comments: 20 pages

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

[23] arXiv:1908.03268 [pdf, other]

Title: Representing Polish groupoids via metric structures

Ruiyuan Chen

Comments: 70 pages

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

[24] arXiv:1908.04375 [pdf, other]

Title: Piece selection and cardinal arithmetic

Pierre Matet

Subjects: Logic (math.LO)

[25] arXiv:1908.04477 [pdf, other]

Title: Polarized relations at singulars over successors

Shimon Garti

Comments: 17 pages, to appear

Journal-ref: Discrete Mathematics, vol. 343, no. 9, September 2020, paper 111961

Subjects: Logic (math.LO)

[26] arXiv:1908.04816 [pdf, other]

Title: The logic of vague categories

Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem M. Wijnberg

Comments: 24 pages

Subjects: Logic (math.LO)

[27] arXiv:1908.04817 [pdf, other]

Title: Modelling socio-political competition

Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem M. Wijnberg

Comments: 24 pages

Subjects: Logic (math.LO)

[28] arXiv:1908.05315 [pdf, other]

Title: Properties of the connective implication in effect algebras

Ivan Chajda, Helmut Länger

Subjects: Logic (math.LO)

[29] arXiv:1908.05334 [pdf, other]

Title: Adjoining only the things you want: a survey of Strong Chang's Conjecture and related topics

Sean Cox

Comments: Minor revisions; added open problem section at the end

Subjects: Logic (math.LO)

[30] arXiv:1908.05336 [pdf, other]

Title: Towers and clubs

Pierre Matet

Subjects: Logic (math.LO)

[31] arXiv:1908.05381 [pdf, other]

Title: A tractable case of the Turing automorphism problem: bi-uniformly $E_0$-invariant Cantor homeomorphisms

Bjørn Kjos-Hanssen

Comments: Accepted for publication in: Higher recursion theory and set theory. Lecture Notes Series, Institute of Mathematical Sciences, National University of Singapore, World Scientific Publishing, Hackensack, NJ

Subjects: Logic (math.LO)

[32] arXiv:1908.05676 [pdf, other]

Title: Plato and the foundations of mathematics

Sam Sanders

Comments: 46 pages, 4 figures. Same "Preliminaries" section as: arXiv:1905.04058

Subjects: Logic (math.LO)

[33] arXiv:1908.05677 [pdf, other]

Title: Lifting countable to uncountable mathematics

Sam Sanders

Comments: 24 pages. To appear in: 'Information and Computation' Special Issue WoLLIC19 post-proceedings. Same "Preliminaries" section as e.g. arXiv:1905.04058, arXiv:1908.05676

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

[34] arXiv:1908.05776 [pdf, other]

Title: Cardinal invariants of Haar null and Haar meager sets

Márton Elekes, Márk Poór

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

[35] arXiv:1908.05920 [pdf, other]

Title: Generalisations of Stationarity, Closed and Unboundedness, and of Jensen's $\Box$

H. Brickhill, P. D. Welch

Comments: Submitted

Subjects: Logic (math.LO)

[36] arXiv:1908.06302 [pdf, other]

Title: Effectivizing Lusin's Theorem

Russell Miller

Subjects: Logic (math.LO)

[37] arXiv:1908.08944 [pdf, other]

Title: First-order homotopical logic

Joseph Helfer

Comments: Major revision: added several sections, fixed an error in (what is now) Theorem 12.2, restructured, rewrote introduction and expository material, updated to reflect changes in arXiv:1905.10690. 54 pages, comments welcome!

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

[38] arXiv:1908.09214 [pdf, other]

Title: A note on an effective Polish topology and Silver's Dichotomy theorem

Ramez L. Sami

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

[39] arXiv:1908.09387 [pdf, other]

Title: $[0,n]\cup \{ω\}$ is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature

Uri Andrews, Omer Mermelstein

Comments: Final author version

Subjects: Logic (math.LO)

[40] arXiv:1908.09494 [pdf, other]

Title: Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups

Maciej Malicki

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

[41] arXiv:1908.09664 [pdf, other]

Title: $C^{(n)}$-Cardinals

Joan Bagaria

Journal-ref: Arch. Math. Logic, (2012) 51:213-240

Subjects: Logic (math.LO)

[42] arXiv:1908.09868 [pdf, other]

Title: Introducing H, an institution-based formal specification and verification language

Răzvan Diaconescu

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

[43] arXiv:1908.09906 [pdf, other]

Title: Ideals of graphs: finding a set of generators

Evgeny S. Golod, Georgy A. Osipov

Comments: This paper is done in Russian, further translation is expected

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

[44] arXiv:1908.10064 [pdf, other]

Title: Model Theory of Proalgebraic Groups

Anand Pillay, Michael Wibmer

Comments: 39 pages

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

[45] arXiv:1908.10224 [pdf, other]

Title: Infinite decreasing chains in the Mitchell order

Omer Ben-Neria, Sandra Müller

Subjects: Logic (math.LO)

[46] arXiv:1908.10302 [pdf, other]

Title: Reflection algebras and conservation results for theories of iterated truth

Lev D. Beklemishev, Fedor N. Pakhomov

Comments: 49 pages

Subjects: Logic (math.LO)

[47] arXiv:1908.10480 [pdf, other]

Title: Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations

Sławomir Solecki

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

[48] arXiv:1908.10510 [pdf, html, other]

Title: A universal characterization of standard Borel spaces

Ruiyuan Chen

Comments: 28 pages; revisions from refereeing

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

[49] arXiv:1908.10718 [pdf, html, other]

Title: Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible

Nick Steven Chapman, Johannes Philipp Schürz

Subjects: Logic (math.LO)

[50] arXiv:1908.11145 [pdf, other]

Title: Stationary Reflection and the failure of SCH

Omer Ben-Neria, Yair Hayut, Spencer Unger

Comments: 28 pages

Subjects: Logic (math.LO)

[51] arXiv:1908.11264 [pdf, other]

Title: Münchhausen provability

Joost J. Joosten

Subjects: Logic (math.LO)

[52] arXiv:1908.11353 [pdf, other]

Title: The naturality of natural deduction (II). Some remarks on atomic polymorphism

Paolo Pistone, Luca Tranchini, Mattia Petrolo

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

[53] arXiv:1908.11400 [pdf, other]

Title: Distality Rank

Roland Walker

Comments: 32 pages

Subjects: Logic (math.LO)

[54] arXiv:1908.11727 [pdf, other]

Title: Interpreting the action of the endomorphism monoid of the rationals

John K Truss, Edith Vargas-Garcia

Subjects: Logic (math.LO)

[55] arXiv:1908.11731 [pdf, other]

Title: The axiom of choice and model-theoretic structures

J K Truss

Subjects: Logic (math.LO)

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

Title: On equations and first-order theory of one-relator monoids

Albert Garreta, Robert D. Gray

Comments: v2: The paper has been restructured and retitled, and helpful suggestions made by an anonymous referee have been implemented

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

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

Title: Quantale semantics of Lambek calculus with subexponential modalities

Daniel Rogozin

Comments: 17 pages

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

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

Title: EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms

Peter Hertling, Gisela Krommes

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

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

Title: EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness

Peter Hertling, Gisela Krommes

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

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

Title: Uniform logical proofs for Riesz representation theorem, Daniell-Stone theorem and Stone's representation theorem for probability algebras

Alireza Mofidi

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

[61] arXiv:1908.05235 (cross-list from eess.SY) [pdf, other]

Title: Disturbance Decoupling and Instantaneous Fault Detection in Boolean Control Networks

S Sutavani, K Sonam, S Wagh, N Singh

Subjects: Systems and Control (eess.SY); Logic (math.LO); Optimization and Control (math.OC)

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

Title: Simplicity of the automorphism groups of order and tournament expansions of homogeneous structures

Filippo Calderoni, Aleksandra Kwiatkowska, Katrin Tent

Comments: The results of the paper now include order expansions as well as expansions to tournaments. Typos corrected. References updated

Journal-ref: Journal of Algebra, Volume 580, 2021, Pages 43-62

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

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

Title: A Gentzen-style monadic translation of Gödel's System T

Chuangjie Xu

Comments: 17 pages. Changes: (1) remove the restriction of satisfying the monad laws in the definition of nuclei, (2) add a unified theorem of logical relation. This paper will appear in FSCD 2020

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

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

Title: Rates of convergence for iterative solutions of equations involving set-valued accretive operators

Ulrich Kohlenbach, Thomas Powell

Subjects: Optimization and Control (math.OC); Functional Analysis (math.FA); Logic (math.LO)

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

Title: On the growth rate of dichromatic numbers of finite subdigraphs

Attila Joó

Comments: 6 pages

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

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

Title: Good Fibrations through the Modal Prism

David Jaz Myers

Comments: 40 pages, fixed a small error in Lemma 3.15 (added the requirement of surjectivity)

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

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

Title: A Nonseparable Invariant Extension of Lebesgue Measure -- A Generalized and Abstract Approach

Sanjib Basu, Debashish Sen

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

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

Title: Hilbert spaces and ${C}^\ast$-algebras are not finitely concrete

Michael Lieberman, Jiří Rosický, Sebastien Vasey

Comments: 8 pages

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

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

Title: Equitable Colorings of Borel Graphs

Anton Bernshteyn, Clinton T. Conley

Comments: 32 pages, 4 figures

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

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

Title: An incompressibility theorem for automatic complexity

Bjørn Kjos-Hanssen

Journal-ref: Forum of Mathematics Sigma 9 (2021), E62

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

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

Title: Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

Tim Lyon, Kees van Berkel

Comments: Included version of the paper "Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics", accepted to the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019)

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