Logic

Authors and titles for recent submissions

[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

[1] 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)
[2] arXiv:2212.04433 [pdf, ps, other]: Title: Categoricity for transfinite extensions of modules

Authors: Jan Trlifaj

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

[3] 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)
[4] arXiv:2212.03774 [pdf, ps, other]: Title: Very ampleness in strongly minimal sets

Authors: Benjamin Castle, Assaf Hasson

Subjects: Logic (math.LO)
[5] arXiv:2212.03677 [pdf, ps, other]: Title: Compactness in Team Semantics

Authors: Joni Puljujärvi, Davide Emilio Quadrellaro

Subjects: Logic (math.LO)
[6] arXiv:2212.03565 [pdf, ps, other]: Title: Essential Hereditary Undecidability

Authors: Albert Visser

Subjects: Logic (math.LO)
[7] arXiv:2212.03333 [pdf, ps, other]: Title: The Gluing Property

Authors: Yair Hayut, Alejandro Poveda

Subjects: Logic (math.LO)

[8] arXiv:2212.03105 [pdf, ps, other]: Title: Logics and Admissible Rules of Constructive Set Theories

Authors: Rosalie Iemhoff, Robert Passmann

Subjects: Logic (math.LO)
[9] arXiv:2212.02902 [pdf, ps, other]: Title: A Univalent Formalization of Affine Schemes

Authors: Anders Mörtberg, Max Zeuner

Subjects: Logic (math.LO)
[10] 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)
[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.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)
[13] arXiv:2212.02833 (cross-list from quant-ph) [pdf, ps, other]: Title: Metalinear structures and the substructural logic of quantum measurements

Authors: Daniel Lehmann

Comments: 46 pages, draft to be submitted, comments and remarks welcomed to lehmann@cs.huji.ac.il

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Logic (math.LO)

[14] 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)
[15] 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)
[16] 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)
[17] arXiv:2212.01658 [pdf, other]: Title: The Strategic Balance of Games in Logic

Authors: Jouko Väänänen

Subjects: Logic (math.LO)
[18] arXiv:2212.02444 (cross-list from math.CT) [pdf, other]: Title: Homotopy type theory as internal languages of diagrams of $\infty$-logoses

Authors: Taichi Uemura

Subjects: Category Theory (math.CT); Logic (math.LO)
[19] arXiv:2212.01750 (cross-list from math.GR) [pdf, ps, other]: Title: A non-polybounded absolutely closed $36$-Shelah group

Authors: Taras Banakh

Comments: 23 pages

Subjects: Group Theory (math.GR); General Topology (math.GN); Logic (math.LO)
[20] arXiv:2212.01604 (cross-list from math.GR) [pdf, ps, other]: Title: Polyboundedness of zero-closed semigroups

Authors: Taras Banakh, Andriy Rega

Comments: 16 pages

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

[21] arXiv:2212.01227 [pdf, ps, other]: Title: Almost positively closed models

Authors: Mohammed Belkasmi

Subjects: Logic (math.LO)
[22] 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)
[23] arXiv:2212.01053 [pdf, ps, other]: Title: Deducibility in Sudoku

Authors: Dragan Mašulović

Subjects: Logic (math.LO)
[24] 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)

[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]