Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic

Authors and titles for recent submissions

See today's new changes

Total of 25 entries
Showing up to 50 entries per page: fewer | more | all

Thu, 14 Nov 2024 (showing 4 of 4 entries )

[1] arXiv:2411.08808 [pdf, html, other]
Title: Products of pseudofinite structures
Paola D'Aquino, Anus Macintyre
Subjects: Logic (math.LO)
[2] arXiv:2411.08797 [pdf, html, other]
Title: Complexity of Finite Borel Asymptotic Dimension
Jan Grebík, Cecelia Higgins
Comments: 15 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[3] arXiv:2411.08786 [pdf, html, other]
Title: Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
Grigory Olkhovikov
Comments: 53 pages, 1 figure
Subjects: Logic (math.LO)
[4] arXiv:2411.08620 [pdf, html, other]
Title: A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
Morenikeji Neri
Comments: 29 pages
Subjects: Logic (math.LO); Probability (math.PR)

Wed, 13 Nov 2024 (showing 4 of 4 entries )

[5] arXiv:2411.07792 [pdf, html, other]
Title: Chains and antichains in the Weihrauch lattice
Steffen Lempp, Alberto Marcone, Manlio Valenti
Subjects: Logic (math.LO)
[6] arXiv:2411.07777 [pdf, html, other]
Title: Iterating reflection over intuitionistic arithmetic
Emanuele Frittaion
Subjects: Logic (math.LO)
[7] arXiv:2411.07363 [pdf, html, other]
Title: Intuitionistic logic, dual intuitionistic logic, and modality
Safal Raman Aryal
Comments: Fixed a critical error in example 4.0.1
Subjects: Logic (math.LO)
[8] arXiv:2411.07966 (cross-list from cs.CC) [pdf, html, other]
Title: Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
Albert Atserias, Iddo Tzameret
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

Tue, 12 Nov 2024 (showing 8 of 8 entries )

[9] arXiv:2411.06675 [pdf, html, other]
Title: FCA using the Concept Explorer in 2024
Edith Vargas-GarcÍa, Andreas Wachtel
Comments: 10 pages, 1 context, 9 figures
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[10] arXiv:2411.06043 [pdf, html, other]
Title: The subTuring degrees
Takayuki Kihara, Keng Meng Ng
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[11] arXiv:2411.06002 [pdf, html, other]
Title: Infinite Hat Problems and Large Cardinals
Andreas Lietz, Jeroen Winkel
Subjects: Logic (math.LO)
[12] arXiv:2411.05995 [pdf, html, other]
Title: On cohomology of locally profinite sets
Ko Aoki
Comments: 7 pages
Subjects: Logic (math.LO); Commutative Algebra (math.AC); Algebraic Topology (math.AT); General Topology (math.GN)
[13] arXiv:2411.05967 [pdf, html, other]
Title: Locales as spaces in outer models
Nathaniel Bannister
Subjects: Logic (math.LO)
[14] arXiv:2411.06430 (cross-list from math.NT) [pdf, html, other]
Title: Arithmetic-term representations for the greatest common divisor
Mihai Prunescu, Joseph Shunia
Comments: 5 pages
Subjects: Number Theory (math.NT); Logic (math.LO)
[15] arXiv:2411.06358 (cross-list from cs.FL) [pdf, html, other]
Title: Topoi of automata I: Four topoi of automata and regular languages
Ryuya Hora
Comments: 16 pages, comments welcome
Subjects: Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT); Logic (math.LO)
[16] arXiv:2411.06281 (cross-list from math.FA) [pdf, html, other]
Title: Spectral equivalences through nonstandard samplings
Fabrice Nonez
Comments: 41 pages
Subjects: Functional Analysis (math.FA); Logic (math.LO); Spectral Theory (math.SP)

Mon, 11 Nov 2024 (showing 4 of 4 entries )

[17] arXiv:2411.05388 [pdf, html, other]
Title: The finitary partitions with $n$ non-singleton blocks of a set
Yifan Hu, Guozhen Shen
Comments: 8 pages
Subjects: Logic (math.LO)
[18] arXiv:2411.05241 [pdf, html, other]
Title: On ends of degree $\omega_1$
Leandro Aurichi, Gabriel Fernandes, Paulo Magalhães Júnior
Subjects: Logic (math.LO); Combinatorics (math.CO)
[19] arXiv:2411.05101 [pdf, html, other]
Title: Finite models for positive combinatorial and exponential algebra
Tumadhir Alsulami, Marcel Jackson
Subjects: Logic (math.LO)
[20] arXiv:2411.05612 (cross-list from math.CO) [pdf, html, other]
Title: On a conjecture of Terry and Wolf
V. Gladkova
Subjects: Combinatorics (math.CO); Logic (math.LO)

Fri, 8 Nov 2024 (showing 5 of 5 entries )

[21] arXiv:2411.04903 [pdf, html, other]
Title: A note on $\varepsilon$-stability
Nicolas Chavarria
Comments: 15 pages
Subjects: Logic (math.LO)
[22] arXiv:2411.04835 [pdf, other]
Title: Martin's Axiom and Weak Kurepa Hypothesis
Rahman Mohammadpour
Comments: It is withdrawn due to a gap in the proof of the main theorem which was pointed out by John Krueger, to whom the author is grateful
Subjects: Logic (math.LO)
[23] arXiv:2411.04801 [pdf, html, other]
Title: Zilber dichotomy for $DCF_{0,m}$
Omar Leon Sanchez
Subjects: Logic (math.LO)
[24] arXiv:2411.04786 [pdf, html, other]
Title: The Limits of Determinacy in Higher-Order Arithmetic
Juan Pablo Aguilera, Thibaut Kouptchinsky
Subjects: Logic (math.LO)
[25] arXiv:2411.04716 (cross-list from math.DS) [pdf, html, other]
Title: Non-singular and probability measure-preserving actions of infinite permutation groups
Todor Tsankov
Comments: 15 pages
Subjects: Dynamical Systems (math.DS); Logic (math.LO)
Total of 25 entries
Showing up to 50 entries per page: fewer | more | all