Logic

Authors and titles for August 2021

[26] arXiv:2108.06903 [pdf, other]

Title: Usuba's extendible cardinal

Gabriel Goldberg

Comments: 7 pages

Subjects: Logic (math.LO)

[27] arXiv:2108.06941 [pdf, other]

Title: Effective aspects of Hausdorff and Fourier dimension

Alberto Marcone, Manlio Valenti

Comments: 36 pages

Journal-ref: Computability 11 (2022), 299-333

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

[28] arXiv:2108.09168 [pdf, other]

Title: The Algebraic Significance of Weak Excluded Middle Laws

T. Lávička, T. Moraschini, J. G. Raftery

Subjects: Logic (math.LO)

[29] arXiv:2108.09270 [pdf, other]

Title: The Church numbers in NF set theory

Michael Beeson

Comments: 92 pages, 2 figures. This version added Section 20; the previous Section 20 became Section 21

Subjects: Logic (math.LO)

[30] arXiv:2108.09548 [pdf, other]

Title: Implication in finite posets with pseudocomplemented sections

Ivan Chajda, Helmut Länger

Subjects: Logic (math.LO)

[31] arXiv:2108.09688 [pdf, other]

Title: Uniformization and Internal Absoluteness

Sandra Müller, Philipp Schlicht

Subjects: Logic (math.LO)

[32] arXiv:2108.09708 [pdf, other]

Title: Axiomatizing AECs and applications

Samson Leung

Comments: 30 pages, typos corrected

Subjects: Logic (math.LO)

[33] arXiv:2108.09777 [pdf, other]

Title: A Binary Quantifier for Definite Descriptions for Cut Free Free Logics

Nils Kürbis

Journal-ref: Studia Logica 2021

Subjects: Logic (math.LO)

[34] arXiv:2108.09790 [pdf, other]

Title: Interpreting the weak monadic second order theory of the ordered rationals

J K Truss

Subjects: Logic (math.LO)

[35] arXiv:2108.09845 [pdf, other]

Title: Coloring triangles and rectangles

Jindrich Zapletal

Subjects: Logic (math.LO)

[36] arXiv:2108.09850 [pdf, other]

Title: Krull dimension in set theory

Jindrich Zapletal

Subjects: Logic (math.LO)

[37] arXiv:2108.11189 [pdf, other]

Title: Types of connectedness of the constructive real number intervals

Viktor Chernov

Comments: 8 pages, references updated

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

[38] arXiv:2108.11474 [pdf, other]

Title: Graded Galois Lattices and Closed Itemsets

Reza Sotoudeh, Hamidreza Goudarzi, Ali Akbar Nikoukar

Comments: 15 pages, 2 figures, 1 table, derived from the Ph.D. thesis

Subjects: Logic (math.LO)

[39] arXiv:2108.11692 [pdf, other]

Title: Reducts of relation algebras: The aspects of axiomatisability and finite representability

Daniel Rogozin

Comments: arXiv admin note: text overlap with arXiv:2007.13079

Subjects: Logic (math.LO)

[40] arXiv:2108.12095 [pdf, other]

Title: Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete

Kai Tanter

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

[41] arXiv:2108.12355 [pdf, other]

Title: Mutually embeddable models of ZFC

Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg

Subjects: Logic (math.LO)

[42] arXiv:2108.12678 [pdf, other]

Title: Artin-Schreier extensions and combinatorial complexity in henselian valued fields

Blaise Boissonneau

Comments: 26 pages

Subjects: Logic (math.LO)

[43] arXiv:2108.13495 [pdf, other]

Title: Cartagena Logic

Siiri Kivimäki, Jouko Väänänen, Andrés Villaveces

Comments: 39 pages

Subjects: Logic (math.LO)

[44] arXiv:2108.13718 [pdf, other]

Title: The two halves of disjunctive correctness

Cezary Cieśliński, Mateusz Łełyk, Bartosz Wcisło

Subjects: Logic (math.LO)

[45] arXiv:2108.13913 [pdf, other]

Title: Decidability and NP-completeness for some languages which extend Boolean Set Theory

Pietro Ursino

Comments: arXiv admin note: substantial text overlap with arXiv:2106.01224

Subjects: Logic (math.LO)

[46] arXiv:2108.13955 [pdf, other]

Title: Partition theorems for expanded trees

Saharon Shelah

Comments: light proof-reading, 16 pages

Subjects: Logic (math.LO)

[47] arXiv:2108.13999 [pdf, other]

Title: The domination monoid in henselian valued fields

Martin Hils, Rosario Mennuni

Journal-ref: Pacific J. Math. 328 (2024) 287-323

Subjects: Logic (math.LO)

[48] arXiv:2108.00452 (cross-list from cs.LO) [pdf, html, other]

Title: Finitely Bounded Homogeneity Turned Inside-Out

Jakub Rydval

Comments: 29 pages, 1 figure

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

[49] arXiv:2108.00544 (cross-list from math.CO) [pdf, html, other]

Title: Parametrizing the Ramsey theory of vector spaces I: Discrete spaces

Iian B. Smythe

Comments: 30 pages. Substantial revisions have been made to much of the paper. Major changes made include: The results in Section 2 now have self-contained and elementary proofs. An error in the previous Lemma 5.2 was found and corrected (now as Lemma 6.2). A gap in the proof of the previous Lemma 5.5 was found, circumventing this issue required changing the proofs for the clopen case of the main result

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

[50] arXiv:2108.01868 (cross-list from math.AG) [pdf, other]

Title: The \'etale open topology over the fraction field of a henselian local domain

Will Johnson, Erik Walsberg, Jinhe Ye

Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Logic (math.LO)