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

Logic

Authors and titles for recent submissions

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

Mon, 24 Jan 2022

[1]  arXiv:2201.08750 [pdf, ps, other]
Title: Characterizing counterfactuals and dependencies over causal and generalized causal teams
Comments: arXiv admin note: text overlap with arXiv:2004.00952
Subjects: Logic (math.LO)

Fri, 21 Jan 2022

[2]  arXiv:2201.08353 [pdf, ps, other]
Title: The power of clockings
Authors: Antti Kuusisto
Subjects: Logic (math.LO)
[3]  arXiv:2201.08199 [pdf, other]
Title: Surreal fields stable under exponential and logarithmic functions
Subjects: Logic (math.LO)
[4]  arXiv:2201.08016 (cross-list from math.CT) [pdf, ps, other]
Title: The stable category of preorders in a pretopos II: the universal property
Comments: 22 pages
Subjects: Category Theory (math.CT); Logic (math.LO); Rings and Algebras (math.RA)

Thu, 20 Jan 2022

[5]  arXiv:2201.07345 [pdf, ps, other]
Title: A note on the series' of ordinal numbers
Authors: Marco Trombetti
Subjects: Logic (math.LO)

Wed, 19 Jan 2022

[6]  arXiv:2201.07098 [pdf, ps, other]
Title: Compatibility and accessibility: a lattice representation for semantics of non-classical and modal logics
Comments: 20 pages, 7 figures
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[7]  arXiv:2201.07009 [pdf, ps, other]
Title: The polyhedral geometry of Wajsberg hoops
Authors: Sara Ugolini
Subjects: Logic (math.LO)
[8]  arXiv:2201.07007 [pdf, ps, other]
Title: Aspects of Muchnik's paradox in restricted betting
Subjects: Logic (math.LO); Computer Science and Game Theory (cs.GT)
[9]  arXiv:2201.06076 [pdf, ps, other]
Title: Admissibility of $Π_2$-Inference Rules: interpolation, model completion, and contact algebras
Comments: 25 pages
Subjects: Logic (math.LO)
[10]  arXiv:2201.06634 (cross-list from math.GR) [pdf, ps, other]
Title: Forcing a Basis into $\aleph_1$-Free Groups
Comments: 12 pages
Subjects: Group Theory (math.GR); Logic (math.LO)
[11]  arXiv:2201.06475 (cross-list from math.CO) [pdf, other]
Title: Infinite Hex is a draw
Comments: 25 pages, 31 figures. Commentary and inquires can be made at this http URL
Subjects: Combinatorics (math.CO); Computer Science and Game Theory (cs.GT); Logic (math.LO)
[12]  arXiv:2201.06408 (cross-list from math.RA) [pdf, other]
Title: Quantalic spectra of semirings
Authors: Graham Manuell
Comments: My PhD thesis from 2019/2020. 117 pages
Subjects: Rings and Algebras (math.RA); Commutative Algebra (math.AC); Category Theory (math.CT); General Topology (math.GN); Logic (math.LO)
[13]  arXiv:2201.06320 (cross-list from math.GR) [pdf, ps, other]
Title: Automorphisms of Groups and a Higher Rank JSJ Decomposition I: RAAGs and a Higher Rank Makanin-Razborov Diagram
Authors: Z. Sela
Comments: preliminary version
Subjects: Group Theory (math.GR); Logic (math.LO)
[14]  arXiv:2201.05992 (cross-list from math.CT) [pdf, ps, other]
Title: The stable category of preorders in a pretopos I: general theory
Comments: 36 pages
Journal-ref: Journal of Pure and Applied Algebra, 106997, 2021
Subjects: Category Theory (math.CT); Logic (math.LO); Rings and Algebras (math.RA)

Mon, 17 Jan 2022

[15]  arXiv:2201.05284 [pdf, ps, other]
Title: A robust proof-theoretic well-ordering
Authors: James Walsh
Subjects: Logic (math.LO)
[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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