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

Logic

Authors and titles for recent submissions

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

Fri, 22 Jan 2021

[1]  arXiv:2101.08767 [pdf, ps, other]
Title: Non axiomatizability of Modal Lukasiewicz Logic
Authors: Amanda Vidal
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

Thu, 21 Jan 2021

[2]  arXiv:2101.07840 [pdf, ps, other]
Title: A New Weak Choice Principle
Subjects: Logic (math.LO)

Wed, 20 Jan 2021

[3]  arXiv:2101.07703 [pdf, ps, other]
Title: Club Stationary Reflection and the Special Aronszajn Tree Property
Subjects: Logic (math.LO)
[4]  arXiv:2101.07573 [pdf, ps, other]
Title: The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem
Authors: Matteo Viale
Comments: expands and systematizes arXiv:2003.07114 and arXiv:2003.07120
Subjects: Logic (math.LO)
[5]  arXiv:2101.07455 [pdf, ps, other]
Title: How strong is a Reinhardt set over extensions of CZF?
Authors: Hanul Jeon
Comments: 16 pages
Subjects: Logic (math.LO)
[6]  arXiv:2101.07701 (cross-list from math.DS) [pdf, other]
Title: Computing the exact number of periodic orbits for planar flows
Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO); Logic (math.LO)

Tue, 19 Jan 2021

[7]  arXiv:2101.06924 [pdf, ps, other]
Title: Some implications of Ramsey Choice for n-element sets
Subjects: Logic (math.LO)
[8]  arXiv:2101.06782 [pdf, ps, other]
Title: Extensions of definable local homomorphisms in o-minimal structures and semialgebraic groups
Authors: Eliana Barriga
Comments: 10 pages
Subjects: Logic (math.LO)
[9]  arXiv:2101.06501 [pdf, ps, other]
Title: Filters on a countable vector space
Authors: Iian B. Smythe
Comments: 17 pages, 2 figures
Subjects: Logic (math.LO)
[10]  arXiv:2101.06490 [pdf, ps, other]
Title: Binary strings of finite VC dimension
Authors: Hunter R Johnson
Comments: 25 pages
Subjects: Logic (math.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)
[11]  arXiv:2101.06334 (cross-list from math.CA) [pdf, ps, other]
Title: $C^m$ Semialgebraic Sections Over the Plane
Comments: 51 pages. comments welcome
Subjects: Classical Analysis and ODEs (math.CA); Algebraic Geometry (math.AG); Complex Variables (math.CV); Logic (math.LO)

Mon, 18 Jan 2021

[12]  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)
[13]  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)
[ total of 13 entries: 1-13 ]
[ 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)