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)