Logic

Authors and titles for February 2019

[1] arXiv:1902.00064 [pdf, other]

Title: Completeness of infinitary heterogeneous logic

Christian Espíndola

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

[2] arXiv:1902.00108 [pdf, other]

Title: The Special Aronszajn Tree Property at $κ^+$ and $\square_{κ, 2}$

John Susice

Subjects: Logic (math.LO)

[3] arXiv:1902.00392 [pdf, other]

Title: Truth and Feasible Reducibility

Ali Enayat, Mateusz Łełyk, Bartosz Wcisło

Comments: 53 pages

Journal-ref: J. symb. log. 85 (2020) 367-421

Subjects: Logic (math.LO)

[4] arXiv:1902.00847 [pdf, other]

Title: Axiomatic Theory of Betweenness

Sanaz Azimipour, Pavel Naumov

Subjects: Logic (math.LO)

[5] arXiv:1902.00895 [pdf, other]

Title: A note on derivability conditions

Taishi Kurahashi

Comments: 36 pages

Journal-ref: J. symb. log. 85 (2020) 1224-1253

Subjects: Logic (math.LO)

[6] arXiv:1902.00968 [pdf, other]

Title: Maximal Tukey types, P-ideals and the weak Rudin-Keisler order

Konstantinos A. Beros, Paul B. Larson

Comments: 17 pages

Subjects: Logic (math.LO)

[7] arXiv:1902.01106 [pdf, other]

Title: Self-referentiality in Justification Logic

Nathan Sebastian Gass, Thomas Studer

Subjects: Logic (math.LO)

[8] arXiv:1902.01279 [pdf, other]

Title: Descriptive Complexity of Computable Sequences Revisited

Nikolay Vereshchagin

Subjects: Logic (math.LO)

[9] arXiv:1902.01508 [pdf, other]

Title: The covering number of the strong measure zero ideal can be above almost everything else

Miguel A. Cardona, Diego A. Mejía, Ismael E. Rivera-Madrid

Comments: 10 pages, 3 figures

Subjects: Logic (math.LO)

[10] arXiv:1902.01656 [pdf, other]

Title: On distributive join-semilattices

Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo

Subjects: Logic (math.LO)

[11] arXiv:1902.02540 [pdf, other]

Title: Coherence in Modal Logic

Tomasz Kowalski, George Metcalfe

Subjects: Logic (math.LO)

[12] arXiv:1902.02707 [pdf, other]

Title: Subset models for justification logic

Eveline Lehmann, Thomas Studer

Subjects: Logic (math.LO)

[13] arXiv:1902.02736 [pdf, other]

Title: The Cohomology of the Ordinals I: Basic Theory and Consistency Results

Jeffrey Bergfalk, Chris Lambie-Hanson

Comments: 45 pages; revision of Lemma 2.22 (and several preparatory remarks) occasioned version 2

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

[14] arXiv:1902.02756 [pdf, other]

Title: On the logical and computational properties of the Vitali covering theorem

Dag Normann, Sam Sanders

Comments: 34 pages

Subjects: Logic (math.LO)

[15] arXiv:1902.03235 [pdf, other]

Title: The method of forcing

Justin Tatch Moore

Comments: This article started out as a set of notes prepared for a tutorial presented during BIRS workshop 13w5026 in November 2013. Comments welcome

Subjects: Logic (math.LO)

[16] arXiv:1902.03915 [pdf, other]

Title: Ekeland's variational principle in weak and strong systems of arithmetic

David Fernández-Duque, Paul Shafer, Keita Yokoyama

Subjects: Logic (math.LO)

[17] arXiv:1902.04146 [pdf, other]

Title: Forcing a $\square(κ)$-like principle to hold at a weakly compact cardinal

Brent Cody, Victoria Gitman, Chris Lambie-Hanson

Comments: Changed title and added citations to Brickhill-Welch

Subjects: Logic (math.LO)

[18] arXiv:1902.04159 [pdf, other]

Title: Singly generated quasivarieties and residuated structures

T. Moraschini, J.G. Raftery, J.J. Wannenburg

Subjects: Logic (math.LO)

[19] arXiv:1902.04160 [pdf, other]

Title: On prevarieties of logic

T. Moraschini, J.G. Raftery

Subjects: Logic (math.LO)

[20] arXiv:1902.04424 [pdf, other]

Title: Kalimullin Pair and Semicomputability in $α$-Computability Theory

Dávid Natingga

Comments: 18 pages

Subjects: Logic (math.LO)

[21] arXiv:1902.04817 [pdf, other]

Title: Truth-preservation under fuzzy pp-formulas

Pilar Dellunde, Amanda Vidal

Subjects: Logic (math.LO)

[22] arXiv:1902.04839 [pdf, other]

Title: Mv-algebras And Partially Cyclically Ordered Groups

Gérard Leloup (LMM)

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

[23] arXiv:1902.05011 [pdf, other]

Title: Epimorphisms in varieties of subidempotent residuated structures

T. Moraschini, J.G. Raftery, J.J. Wannenburg

Journal-ref: Algebra Universalis 82, 6 (2021)

Subjects: Logic (math.LO)

[24] arXiv:1902.05229 [pdf, other]

Title: Continuous logic and the strict order property

Karim Khanaki

Comments: In this new version the title has been changed. This version is just about continuous logic, and the classical case is in another article entitled "Dividing lines in unstable theories and subclasses of Baire 1 functions"

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

[25] arXiv:1902.05479 [pdf, other]

Title: Which is the least complex explanation? Abduction and complexity

Fernando Soler-Toscano

Journal-ref: Published in M.A. Freund, M. Fernandez de Castro and M. Ruffino (eds.), Logic and Philosophy of Logic. Recent Trends in Latin America and Spain. College Publicacions. Studies in Logic, Vol. 78, 2018, pp. 100-116

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

[26] arXiv:1902.05533 [pdf, other]

Title: Quantifier alternation in a class of recursively defined tree properties

Moumanti Podder

Comments: 4 figures, 18 pages

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

[27] arXiv:1902.05830 [pdf, other]

Title: Immediately algebraically closed fields

Peter Sinclair

Comments: 12 pages, based on results from a chapter of the author's thesis, under the supervision of Professor Deirdre Haskell

Journal-ref: Illinois J. Math. 65 (1) 1 - 18, April 2021

Subjects: Logic (math.LO)

[28] arXiv:1902.05890 [pdf, other]

Title: Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Sandra Müller, Ralf Schindler, W. Hugh Woodin

Comments: 121 pages

Subjects: Logic (math.LO)

[29] arXiv:1902.05902 [pdf, other]

Title: Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited

Yong Cheng

Comments: 20 pages. Accepted and to appear in a special issue of Studia Semiotyczne devoted to the Anti-Mechanist Arguments based on Gödel's incompleteness theorem

Journal-ref: Studia Semiotyczne, t. XXXIV, nr 1 (2020), s. 159-182

Subjects: Logic (math.LO)

[30] arXiv:1902.05926 [pdf, other]

Title: Overt choice

Matthew de Brecht, Arno Pauly, Matthias Schröder

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

[31] arXiv:1902.06030 [pdf, other]

Title: On the order dimension of locally countable partial orderings

Kojiro Higuchi, Steffen Lempp, Diip Raghavan, Frank Stephan

Subjects: Logic (math.LO)

[32] arXiv:1902.06206 [pdf, other]

Title: Fraïssé limit via forcing

Mohammad Golshani

Comments: The claim on the homogeneity of the structure was wrong, which is now removed

Subjects: Logic (math.LO)

[33] arXiv:1902.06572 [pdf, other]

Title: Canonicity and homotopy canonicity for cubical type theory

Thierry Coquand, Simon Huber, Christian Sattler

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (February 3, 2022) lmcs:6309

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

[34] arXiv:1902.06658 [pdf, other]

Title: Finding the limit of incompleteness I

Yong Cheng

Comments: 18 pages. Accepted and to appear in Bulletin of Symbolic Logic

Journal-ref: Bull. symb. log 26 (2020) 268-286

Subjects: Logic (math.LO)

[35] arXiv:1902.06777 [pdf, other]

Title: Sizes and filtrations in accessible categories

Michael Lieberman, Jiří Rosický, Sebastien Vasey

Comments: 27 pages

Subjects: Logic (math.LO)

[36] arXiv:1902.06863 [pdf, other]

Title: Rosser provability and the second incompleteness theorem

Taishi Kurahashi

Comments: 23 pages

Subjects: Logic (math.LO)

[37] arXiv:1902.06904 [pdf, other]

Title: Changing measurable into small accessible cardinals

Mohammad Golshani

Subjects: Logic (math.LO)

[38] arXiv:1902.07162 [pdf, other]

Title: The dual of compact ordered spaces is a variety

Marco Abbadini

Journal-ref: Theory and Applications of Categories, Vol 34,, No. 44, 2019, pp. 1401-1439, http://www.tac.mta.ca/tac/volumes/34/44/34-44.pdf

Subjects: Logic (math.LO)

[39] arXiv:1902.07194 [pdf, other]

Title: Stability in a group

Gabriel Conant

Comments: 26 pages, final version incorporating referee comments (substantial revision from previous version)

Journal-ref: Groups, Geometry, and Dynamics 15 (2021) no. 4, 1297-1330

Subjects: Logic (math.LO); Combinatorics (math.CO); Dynamical Systems (math.DS)

[40] arXiv:1902.07373 [pdf, other]

Title: Construction and Set Theory

Andrew Powell

Comments: 7 pages, no figures. Experimental paper; comments welcome; minor changes made to justify (++) principle

Subjects: Logic (math.LO)

[41] arXiv:1902.07404 [pdf, other]

Title: The Provability of Consistency

Sergei Artemov

Comments: A compact exposition of the main result and a brief foundational discussion

Subjects: Logic (math.LO)

[42] arXiv:1902.07794 [pdf, other]

Title: Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case

Pietro Galliani (Free University of Bozen-Bolzano)

Comments: In Proceedings GandALF 2019, arXiv:1909.05979

Journal-ref: EPTCS 305, 2019, pp. 66-82

Subjects: Logic (math.LO)

[43] arXiv:1902.07871 [pdf, other]

Title: Randomness and initial segment complexity for probability measures

Andre Nies, Frank Stephan

Comments: This second version is the journal version. The first version was accepted at STACS 2020

Subjects: Logic (math.LO)

[44] arXiv:1902.08006 [pdf, other]

Title: Limit Learning Equivalence Structures

Ekaterina Fokina, Timo Kötzing, Luca San Mauro

Comments: 22 pages, forthcoming in Proceedings of Machine Learning Research

Subjects: Logic (math.LO)

[45] arXiv:1902.08144 [pdf, other]

Title: Integrally Closed Residuated Lattices

José Gil-Férez, Frederik Lauridsen, George Metcalfe

Subjects: Logic (math.LO)

[46] arXiv:1902.08177 [pdf, other]

Title: On the growth rate of chromatic numbers of finite subgraphs

Chris Lambie-Hanson

Comments: 10 pages

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

[47] arXiv:1902.08677 [pdf, other]

Title: Ideals on countable sets: a survey with questions

Carlos Uzcategui

Journal-ref: Ideals on countable sets: a survey with questions, Rev. Integr. temas mat. 37 (2019), No. 1, 167-198

Subjects: Logic (math.LO)

[48] arXiv:1902.08725 [pdf, other]

Title: Logic Blog 2018

Andre Nies (editor)

Comments: Section 8.5 added in March 2019

Subjects: Logic (math.LO)

[49] arXiv:1902.08791 [pdf, other]

Title: Local loop lemma

Miroslav Olšák

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

[50] arXiv:1902.08837 [pdf, other]

Title: The Additive Structure of Integers with the Lower Wythoff Sequence

Mohsen Khani, Afshin Zarei

Comments: 16 pages

Subjects: Logic (math.LO)