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

Logic

Authors and titles for recent submissions

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

Mon, 3 Jun 2024

[1]  arXiv:2405.21014 [pdf, ps, other]
Title: The classification of dp-minimal integral domains
Authors: Christian d'Elbée, Yatir Halevi, Will Johnson
Comments: 31 pages
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[2]  arXiv:2405.20932 [pdf, ps, other]
Title: Normalization and cut-elimination theorems for some logics of evidence and truth
Authors: Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues
Subjects: Logic (math.LO)

Fri, 31 May 2024

[3]  arXiv:2405.19830 [pdf, other]
Title: n-dependent continuous theories and hyperdefinable sets
Authors: Adrián Portillo Fernández
Subjects: Logic (math.LO)
[4]  arXiv:2405.19640 [pdf, other]
Title: Inner ultrahomogeneous groups
Authors: Tomasz Rzepecki
Comments: 31 pages
Subjects: Logic (math.LO); Group Theory (math.GR)
[5]  arXiv:2405.19634 [pdf, ps, other]
Title: Approximation Theory and Elementary Submodels
Authors: Sean Cox
Subjects: Logic (math.LO); Commutative Algebra (math.AC); Category Theory (math.CT); Rings and Algebras (math.RA)
[6]  arXiv:2405.20214 (cross-list from math.RA) [pdf, ps, other]
Title: On limit models and parametrized noetherian rings
Authors: Marcos Mazari-Armida
Comments: 12 pages
Subjects: Rings and Algebras (math.RA); Logic (math.LO)

Thu, 30 May 2024

[7]  arXiv:2405.19051 [pdf, other]
Title: Linear Logic and Quantum Error Correcting Codes
Authors: Daniel Murfet, William Troiani
Subjects: Logic (math.LO); Quantum Physics (quant-ph)

Wed, 29 May 2024

[8]  arXiv:2405.18431 [pdf, ps, other]
Title: A Ramsey theorem for the reals
Authors: Tanmay Inamdar
Comments: Preliminary version
Subjects: Logic (math.LO); Combinatorics (math.CO); General Topology (math.GN)
[9]  arXiv:2405.18360 [pdf, ps, other]
Title: The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms
Authors: Assaf Shani
Subjects: Logic (math.LO)
[10]  arXiv:2405.18262 [pdf, ps, other]
Title: Filter-induced entailment relations in paraconsistent Gödel logics
Authors: Sabine Frittella, Daniil Kozhemiachenko
Subjects: Logic (math.LO)
[11]  arXiv:2405.18287 (cross-list from math.RA) [pdf, ps, other]
Title: Stable finiteness of monoid algebras and surjunctivity
Authors: Tullio Ceccherini-Silberstein, Michel Coornaert, Xuan Kien Phung
Comments: 18 page
Subjects: Rings and Algebras (math.RA); Dynamical Systems (math.DS); Logic (math.LO)
[12]  arXiv:2405.17629 (cross-list from cs.FL) [pdf, ps, other]
Title: Lindenmayer graph languages, first-order theories and expanders
Authors: Teodor Knapik
Subjects: Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

Tue, 28 May 2024

[13]  arXiv:2405.17101 [pdf, ps, other]
Title: Ultrafilter extensions of bounded graphs are elementary
Authors: Zalán Molnár
Subjects: Logic (math.LO)
[14]  arXiv:2405.16704 [pdf, ps, other]
Title: Non-Normal Magidor-Radin Types of Forcings
Authors: Tom Benhamou, Alejandro Poveda
Subjects: Logic (math.LO)
[15]  arXiv:2405.16963 (cross-list from math.AG) [pdf, ps, other]
Title: Log-Noetherian functions
Authors: Gal Binyamini
Subjects: Algebraic Geometry (math.AG); Classical Analysis and ODEs (math.CA); Logic (math.LO)
[16]  arXiv:2405.16603 (cross-list from math.OA) [pdf, ps, other]
Title: Borel fields and measured fields of Polish spaces, Banach spaces, von Neumann algebras and C*-algebras
Authors: Stefaan Vaes, Lise Wouters
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Logic (math.LO)
[17]  arXiv:2405.16331 (cross-list from math.ST) [pdf, other]
Title: Confirming the Null: Remarks on Equivalence Testing and the Topology of Confirmation
Authors: Reid Dale
Comments: These are old notes on a three-valued logic relating to equivalence/inequivalence. Comments and feedback welcome. Further revisions are expected over time
Subjects: Statistics Theory (math.ST); Logic (math.LO)
[18]  arXiv:2405.15822 (cross-list from cs.PL) [pdf, ps, other]
Title: Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
Authors: Gianluca Amato, Mary DeMarco, James Lipton
Comments: 64 pages, 2 Figures
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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