We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for recent submissions

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

Fri, 9 Dec 2022

[1]  arXiv:2212.04445 [pdf, ps, other]
Title: Non-tightness in class theory and second-order arithmetic
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)

Thu, 8 Dec 2022

[3]  arXiv:2212.03785 [pdf, ps, other]
Title: The uniform Gardner conjecture and rounding Borel flows
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
Subjects: Logic (math.LO)
[5]  arXiv:2212.03677 [pdf, ps, other]
Title: Compactness in Team Semantics
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
Subjects: Logic (math.LO)

Wed, 7 Dec 2022

[8]  arXiv:2212.03105 [pdf, ps, other]
Title: Logics and Admissible Rules of Constructive Set Theories
Subjects: Logic (math.LO)
[9]  arXiv:2212.02902 [pdf, ps, other]
Title: A Univalent Formalization of Affine Schemes
Subjects: Logic (math.LO)
[10]  arXiv:2212.02843 [pdf, ps, other]
Title: Kreisel-Lévy-type theorems for Kripke-Platek and other set theories
Subjects: Logic (math.LO)
[11]  arXiv:2212.02699 [pdf, ps, other]
Title: Equationally defined classes of semigroups
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
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)

Tue, 6 Dec 2022

[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
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
Comments: 29 pages
Subjects: Logic (math.LO)
[17]  arXiv:2212.01658 [pdf, other]
Title: The Strategic Balance of Games in Logic
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
Comments: 16 pages
Subjects: Group Theory (math.GR); General Topology (math.GN); Logic (math.LO)

Mon, 5 Dec 2022

[21]  arXiv:2212.01227 [pdf, ps, other]
Title: Almost positively closed models
Subjects: Logic (math.LO)
[22]  arXiv:2212.01198 [pdf, other]
Title: Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
Subjects: Logic (math.LO)
[23]  arXiv:2212.01053 [pdf, ps, other]
Title: Deducibility in Sudoku
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
Comments: 15 pages
Subjects: Logic (math.LO)
[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2212, contact, help  (Access key information)