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 20 entries
Showing up to 50 entries per page: fewer | more | all

Mon, 25 Nov 2024 (showing 6 of 6 entries )

[1] arXiv:2411.14689 [pdf, html, other]
Title: Hyperreal differentiation with an idempotent ultrafilter
Samuel Allen Alexander, Bryan Dawson
Comments: 17 pages. Accepted to the Journal of Logic and Analysis
Subjects: Logic (math.LO)
[2] arXiv:2411.14661 [pdf, html, other]
Title: Lipchitz curve selection and its application to Thamrongthanyalak's open problem
Masato Fujita
Subjects: Logic (math.LO)
[3] arXiv:2411.15103 (cross-list from cs.LO) [pdf, other]
Title: Coslice Colimits in Homotopy Type Theory
Perry Hart, Kuen-Bang Hou (Favonia)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[4] arXiv:2411.14960 (cross-list from math.NT) [pdf, html, other]
Title: First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability
Alexandra Shlapentokh, Caleb Springer
Comments: 40 pages
Subjects: Number Theory (math.NT); Logic (math.LO)
[5] arXiv:2411.14813 (cross-list from math.CT) [pdf, other]
Title: Lifting independence along functors
Mark Kamsma, Jiří Rosický
Comments: 34 pages
Subjects: Category Theory (math.CT); Logic (math.LO)
[6] arXiv:2411.11035 (cross-list from math-ph) [pdf, html, other]
Title: On one-parameter families of hermiticity-preserving superoperators which are not positive
Grzegorz Pastuszak, Alicja Jaworska-Pastuszak, Takeo Kamizawa, Andrzej Jamiołkowski
Subjects: Mathematical Physics (math-ph); Logic (math.LO); Operator Algebras (math.OA); Spectral Theory (math.SP)

Fri, 22 Nov 2024 (showing 1 of 1 entries )

[7] arXiv:2411.13723 [pdf, html, other]
Title: The elementary theory of free Steiner triple systems
Silvia Barbina, Enrique Casanovas
Subjects: Logic (math.LO)

Thu, 21 Nov 2024 (showing 1 of 1 entries )

[8] arXiv:2411.13482 (cross-list from math.GN) [pdf, html, other]
Title: A duality for the class of compact $T_1$-spaces
Elena Pozzan, Matteo Viale
Subjects: General Topology (math.GN); Category Theory (math.CT); Logic (math.LO)

Wed, 20 Nov 2024 (showing 1 of 1 entries )

[9] arXiv:2411.12084 [pdf, other]
Title: Scott Spectral Gaps are Bounded for Linear Orderings
David Gonzalez, Matthew Harrison-Trainor
Comments: 30 Pages
Subjects: Logic (math.LO)

Tue, 19 Nov 2024 (showing 11 of 11 entries )

[10] arXiv:2411.11841 [pdf, html, other]
Title: On Halin's end-degree Conjecture and $\omega$-strong cardinals
Gabriel Fernandes, Michel Gaspar
Comments: 12 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[11] arXiv:2411.11577 [pdf, html, other]
Title: Nowhere trivial automorphisms of $P(\lambda)/[\lambda]^{<\lambda}$, for $\lambda$ inaccessible
Jakob Kellner, Saharon Shelah
Subjects: Logic (math.LO)
[12] arXiv:2411.11568 [pdf, html, other]
Title: Large cardinals, structural reflection, and the HOD Conjecture
Juan P. Aguilera, Joan Bagaria, Philipp Lücke
Comments: 39 pages
Subjects: Logic (math.LO)
[13] arXiv:2411.11432 [pdf, html, other]
Title: Set-Theoretic Hypodoxes and co-Russell's Paradox
Timotej Šujan
Subjects: Logic (math.LO)
[14] arXiv:2411.11127 [pdf, html, other]
Title: A metric lifting theorem
Ben De Bondt, Alessandro Vignati
Comments: 9 pages
Subjects: Logic (math.LO)
[15] arXiv:2411.11097 [pdf, other]
Title: The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
Diego Castaño, Valeria Castaño, José Patricio Díaz Varela, Marcela Muñoz Santis
Subjects: Logic (math.LO)
[16] arXiv:2411.10860 [pdf, html, other]
Title: Hereditary First-Order Model Checking
Manuel Bodirsky, Santiago Guzmán-Pro
Subjects: Logic (math.LO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[17] arXiv:2411.10792 [pdf, html, other]
Title: On the Model Theory of Open Incidence Structures: The Rank 2 Case
Gianluca Paolini, Davide Emilio Quadrellaro
Subjects: Logic (math.LO)
[18] arXiv:2411.10689 [pdf, other]
Title: Merges of Smooth Classes and Their Properties
Morgan Bryant
Subjects: Logic (math.LO)
[19] arXiv:2411.11809 (cross-list from cs.LO) [pdf, other]
Title: The Lambda Calculus is Quantifiable
Valentin Maestracci, Paolo Pistone
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Logic (math.LO)
[20] arXiv:2411.11193 (cross-list from math.FA) [pdf, html, other]
Title: A density version of a theorem of Banach
David A. Ross
Subjects: Functional Analysis (math.FA); Logic (math.LO)
Total of 20 entries
Showing up to 50 entries per page: fewer | more | all