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

Logic

Authors and titles for recent submissions

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

Mon, 18 Jan 2021

[1]  arXiv:2101.05878 [pdf, ps, other]
Title: Solovay's Relative Consistency Proof for FIM and BI
Subjects: Logic (math.LO); History and Overview (math.HO)
[2]  arXiv:2101.05805 [pdf, other]
Title: Sur un article de 1954 signé N. Cuesta, une traduction
Authors: Labib Haddad
Comments: 50 pages, 10 figures
Subjects: Logic (math.LO)

Fri, 15 Jan 2021

[3]  arXiv:2101.05732 [pdf, ps, other]
Title: Borel Colouring Bad Sequences
Comments: 17 pages
Subjects: Logic (math.LO)
[4]  arXiv:2101.05387 [pdf]
Title: Turing-Church thesis, constructve mathematics and intuitionist logic
Authors: Antonino Drago
Comments: The very nature of Turing-Church's thesis. Sketch of a program for a rational re-formulation of the theory of computation
Subjects: Logic (math.LO)

Thu, 14 Jan 2021

[5]  arXiv:2101.04972 [pdf, ps, other]
Title: Yablo's paradox and forcing
Authors: Shimon Garti
Comments: to appear
Subjects: Logic (math.LO)
[6]  arXiv:2101.04707 (cross-list from math.AC) [pdf, ps, other]
Title: Valued fields with finitely many defect extensions of prime degree
Subjects: Commutative Algebra (math.AC); Logic (math.LO)

Wed, 13 Jan 2021

[7]  arXiv:2101.04598 [pdf, ps, other]
Title: The Potential in Frege's Theorem
Authors: Will Stafford
Subjects: Logic (math.LO)
[8]  arXiv:2101.04552 [pdf, ps, other]
Title: Structural reflection, shrewd cardinals and the size of the continuum
Authors: Philipp Lücke
Comments: 29 pages
Subjects: Logic (math.LO)

Tue, 12 Jan 2021

[9]  arXiv:2101.04002 [pdf, ps, other]
Title: On the value group of the transseries
Subjects: Logic (math.LO)
[10]  arXiv:2101.03647 [pdf, ps, other]
Title: Absolutely Free Hyperalgebras
Comments: 16 pages
Subjects: Logic (math.LO); Category Theory (math.CT)
[11]  arXiv:2101.03593 [pdf, ps, other]
Title: The (Relevant) Logic of Scientific Discovery
Subjects: Logic (math.LO)
[12]  arXiv:2101.03528 [pdf, ps, other]
Title: Semisimplicity, Glivenko theorems, and the excluded middle
Comments: 47 pages, 0 figures
Subjects: Logic (math.LO)
[13]  arXiv:2101.03437 [pdf, ps, other]
Title: Coloring redundant algebraic hypergraphs
Comments: 24 pages
Subjects: Logic (math.LO)
[14]  arXiv:2101.03434 [pdf, ps, other]
Title: Noetherian spaces in choiceless set theory
Comments: 15 pages
Subjects: Logic (math.LO)
[15]  arXiv:2101.03424 [pdf, ps, other]
Title: On Farkas' Lemma and Related Propositions in BISH
Subjects: Logic (math.LO)
[16]  arXiv:2101.03384 [pdf, other]
Title: On inclusions between predicate provability logics
Authors: Taishi Kurahashi
Comments: 21 pages
Subjects: Logic (math.LO)
[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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