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

Logic

Authors and titles for recent submissions

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

Thu, 25 Nov 2021

[1]  arXiv:2111.12195 [pdf, ps, other]
Title: On superrings of polynomials and algebraically closed multifields
Comments: 20 pages, to appear in Journal of Applied Logics
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[2]  arXiv:2111.12133 [pdf, ps, other]
Title: On extracting variable Herbrand disjunctions
Authors: Andrei Sipos
Subjects: Logic (math.LO)
[3]  arXiv:2111.12562 (cross-list from math.HO) [pdf, ps, other]
Title: Kurt Gödel's reception of Charles Hartshorne's ontological proof
Journal-ref: E. Ramharter (ed.), The Vienna Circle and Religion. Vienna Circle Institute Yearbook. Springer. (2021)
Subjects: History and Overview (math.HO); Logic (math.LO)

Wed, 24 Nov 2021

[4]  arXiv:2111.11823 [pdf, ps, other]
Title: Kurepa trees and the failure of the Galvin property
Subjects: Logic (math.LO)
[5]  arXiv:2111.11898 (cross-list from math.NT) [pdf, ps, other]
Title: On a uniform bound for exponential sums modulo $p^m$ for Deligne polynomials
Authors: Kien Huu Nguyen
Comments: 29 pages, comments welcome
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Logic (math.LO)
[6]  arXiv:2111.11826 (cross-list from math.CO) [pdf, ps, other]
Title: List chromatic numbers and singular compactness
Authors: Shimon Garti
Subjects: Combinatorics (math.CO); Logic (math.LO)
[7]  arXiv:2111.11522 (cross-list from math.NT) [pdf, ps, other]
Title: On the Borel complexity of continued fraction normal, absolutely abnormal numbers
Comments: Video talk by first author on this and related topics: this https URL
Subjects: Number Theory (math.NT); Logic (math.LO)
[8]  arXiv:2111.11498 (cross-list from math.GR) [pdf, ps, other]
Title: Sym(n)- and Alt(n)-modules with an additive dimension
Subjects: Group Theory (math.GR); Logic (math.LO); Representation Theory (math.RT)

Tue, 23 Nov 2021

[9]  arXiv:2111.10823 [pdf, ps, other]
Title: Representability of Kleene posets and Kleene lattices
Subjects: Logic (math.LO)
[10]  arXiv:2111.10716 [pdf, ps, other]
Title: Implications between Induction Principles for $\mathbb{N}$ in Peano Arithmetic
Subjects: Logic (math.LO)
[11]  arXiv:2111.10598 [pdf, ps, other]
Title: $F_σ$ ideals of perfectly bounded sets
Subjects: Logic (math.LO)
[12]  arXiv:2111.10482 (cross-list from math.GN) [pdf, ps, other]
Title: Box and Nabla Products that are D-Spaces
Subjects: General Topology (math.GN); Logic (math.LO)

Mon, 22 Nov 2021

[13]  arXiv:2111.09978 [pdf, ps, other]
Title: Four-valued logics of truth, non-falsity, exact truth, and material equivalence
Authors: Adam Přenosil
Comments: 20 pages, 1 figure
Journal-ref: Notre Dame Journal of Formal Logic 61(4): 601-621, 2020
Subjects: Logic (math.LO)

Fri, 19 Nov 2021

[14]  arXiv:2111.09830 [pdf, ps, other]
Title: De Morgan clones and four-valued logics
Authors: Adam Přenosil
Comments: 42 pages, 10 figures
Subjects: Logic (math.LO)
[15]  arXiv:2111.09820 [pdf, ps, other]
Title: From residuated lattices to $\ell$-groups via free nuclear preimages
Authors: Adam Přenosil
Comments: 36 pages, 1 figure
Subjects: Logic (math.LO)
[16]  arXiv:2111.09818 [pdf, ps, other]
Title: The lattice of super-Belnap logics
Authors: Adam Přenosil
Comments: 50 pages, 7 figures
Subjects: Logic (math.LO)
[17]  arXiv:2111.09806 [pdf, ps, other]
Title: Filter classes of upsets of distributive lattices
Authors: Adam Přenosil
Comments: 24 pages, 2 figures
Subjects: Logic (math.LO)
[18]  arXiv:2111.09804 [pdf, ps, other]
Title: Complemented MacNeille completions and algebras of fractions
Comments: 49 pages, 5 figures
Subjects: Logic (math.LO)
[19]  arXiv:2111.09438 [pdf, ps, other]
Title: Context, Judgement, Deduction
Comments: 46 pages. Comments are welcome!
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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