Logic

Authors and titles for math.LO in Dec 2022

[1]  arXiv:2212.00489 [pdf, ps, other]

Title: The Biggest Five of Reverse Mathematics

Authors: Dag Normann, Sam Sanders

Comments: 39 pages + Appendix + References

Subjects: Logic (math.LO)

[2]  arXiv:2212.00858 [pdf, ps, other]

Title: Algebras from finite group actions and a question of Eilenberg and Schützenberger

Authors: Salma Shaheen, Ross Willard

Comments: 15 pages

Subjects: Logic (math.LO)

[3]  arXiv:2212.01053 [pdf, ps, other]

Title: Deducibility in Sudoku

Authors: Dragan Mašulović

Subjects: Logic (math.LO)

[4]  arXiv:2212.01198 [pdf, other]

Title: Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$

Authors: Thomas Gilton, Šárka Stejskalová

Subjects: Logic (math.LO)

[5]  arXiv:2212.01227 [pdf, ps, other]

Title: Almost positively closed models

Authors: Mohammed Belkasmi

Subjects: Logic (math.LO)

[6]  arXiv:2212.01658 [pdf, other]

Title: The Strategic Balance of Games in Logic

Authors: Jouko Väänänen

Subjects: Logic (math.LO)

[7]  arXiv:2212.01677 [pdf, ps, other]

Title: On a four-valued logic of formal inconsistency and formal underterminedness

Authors: Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo

Comments: 29 pages

Subjects: Logic (math.LO)

[8]  arXiv:2212.02115 [pdf, ps, other]

Title: Generic multiplicative endomorphism of a field

Authors: Christian d'Elbée

Comments: 34 pages

Subjects: Logic (math.LO)

[9]  arXiv:2212.02169 [pdf, ps, other]

Title: The Uncountable Hadwiger Conjecture and Characterizations of Trees Using Graphs

Authors: Dávid Uhrik

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

[10]  arXiv:2212.02653 [pdf, ps, other]

Title: Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity

Authors: Lucy Ham, Marcel Jackson

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

[11]  arXiv:2212.02699 [pdf, ps, other]

Title: Equationally defined classes of semigroups

Authors: Peter M. Higgins, Marcel Jackson

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

[12]  arXiv:2212.02843 [pdf, ps, other]

Title: Kreisel-Lévy-type theorems for Kripke-Platek and other set theories

Authors: Shuangshuang Shu, Michael Rathjen

Subjects: Logic (math.LO)

[13]  arXiv:2212.02902 [pdf, ps, other]

Title: A Univalent Formalization of Constructive Affine Schemes

Authors: Max Zeuner, Anders Mörtberg

Comments: 22 pages; title changed, introduction and conclusion restructured, typos corrected, references added

Subjects: Logic (math.LO)

[14]  arXiv:2212.03105 [pdf, ps, other]

Title: Logics and Admissible Rules of Constructive Set Theories

Authors: Rosalie Iemhoff, Robert Passmann

Subjects: Logic (math.LO)

[15]  arXiv:2212.03333 [pdf, ps, other]

Title: The Gluing Property

Authors: Yair Hayut, Alejandro Poveda

Subjects: Logic (math.LO)

[16]  arXiv:2212.03565 [pdf, ps, other]

Title: Essential Hereditary Undecidability

Authors: Albert Visser

Subjects: Logic (math.LO)

[17]  arXiv:2212.03677 [pdf, ps, other]

Title: Compactness in Team Semantics

Authors: Joni Puljujärvi, Davide Emilio Quadrellaro

Subjects: Logic (math.LO)

[18]  arXiv:2212.03774 [pdf, ps, other]

Title: Very ampleness in strongly minimal sets

Authors: Benjamin Castle, Assaf Hasson

Subjects: Logic (math.LO)

[19]  arXiv:2212.03785 [pdf, ps, other]

Title: The uniform Gardner conjecture and rounding Borel flows

Authors: Matthew Bowen, Gábor Kun, Marcin Sabok

Comments: 9 pages. Split from arXiv:2106.01988v1

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

[20]  arXiv:2212.04433 [pdf, ps, other]

Title: Categoricity for transfinite extensions of modules

Authors: Jan Trlifaj

Subjects: Logic (math.LO); Representation Theory (math.RT)

[21]  arXiv:2212.04445 [pdf, ps, other]

Title: Non-tightness in class theory and second-order arithmetic

Authors: Alfredo Roque Freire, Kameryn J. Williams

Subjects: Logic (math.LO)

[22]  arXiv:2212.05050 [pdf, other]

Title: The unstable formula theorem revisited via algorithms

Authors: Maryanthe Malliaris, Shay Moran

Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[23]  arXiv:2212.05185 [pdf, other]

Title: Lebesgue measure zero modulo ideals on the natural numbers

Authors: Viera Gavalová, Diego Alejandro Mejía

Comments: 34 pages, 6 figures. In this version we correct the results about sum of ideals, and the dual of the KB order is reversed. Some typos were corrected

Subjects: Logic (math.LO)

[24]  arXiv:2212.05188 [pdf, ps, other]

Title: Residue field domination in some henselian valued fields

Authors: Clifton Ealy, Deirdre Haskell, Pierre Simon

Subjects: Logic (math.LO)

[25]  arXiv:2212.05366 [pdf, ps, other]

Title: Specialization of Difference Equations and High Frobenius Powers

Authors: Yuval Dor, Ehud Hrushovski

Comments: identical to v1 apart from slight modifications in abstract

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