Logic

Authors and titles for recent submissions

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

[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)

[2] arXiv:2101.07840 [pdf, ps, other]: Title: A New Weak Choice Principle

Authors: Lorenz Halbeisen, Riccardo Plati, Salome Schumacher

Subjects: Logic (math.LO)

[3] arXiv:2101.07703 [pdf, ps, other]: Title: Club Stationary Reflection and the Special Aronszajn Tree Property

Authors: Omer Ben-Neria, Thomas Gilton

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

Authors: Daniel S. Graça, Ning Zhong

Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO); Logic (math.LO)

[7] arXiv:2101.06924 [pdf, ps, other]: Title: Some implications of Ramsey Choice for n-element sets

Authors: Lorenz Halbeisen, Salome Schumacher

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

Authors: Charles L. Fefferman, Garving K. Luli

Comments: 51 pages. comments welcome

Subjects: Classical Analysis and ODEs (math.CA); Algebraic Geometry (math.AG); Complex Variables (math.CV); Logic (math.LO)

[12] arXiv:2101.05878 [pdf, ps, other]: Title: Solovay's Relative Consistency Proof for FIM and BI

Authors: Joan Rand Moschovakis

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 ]