Logic

Authors and titles for recent submissions

• Tue, 29 Apr 2025
• Mon, 28 Apr 2025
• Fri, 25 Apr 2025
• Thu, 24 Apr 2025
• Wed, 23 Apr 2025

See today's new changes

Thu, 24 Apr 2025 (showing 5 of 5 entries )

[10] arXiv:2504.16901 [pdf, html, other]

Title: Characterizing fragments of collection principle in set theory with model theoretic properties

Junhong Chen

Subjects: Logic (math.LO)

[11] arXiv:2504.16690 [pdf, other]

Title: Logic and Concepts in the 2-category of Topoi

Ivan Di Liberti, Lingyuan Ye

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[12] arXiv:2504.16663 [pdf, html, other]

Title: Online and feasible presentability: from trees to modal algebras

Nikolay Bazhenov, Dariusz Kalociński, Michał Wrocławski

Comments: 26 pages, 2 figures, ICALP 2025

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

[13] arXiv:2504.16617 (cross-list from cs.CR) [pdf, html, other]

Title: Security Science (SecSci), Basic Concepts and Mathematical Foundations

Dusko Pavlovic, Peter-Michael Seidel

Comments: 173 Pages, 67 Figures and Tables

Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Information Theory (cs.IT); Social and Information Networks (cs.SI); Logic (math.LO)

[14] arXiv:2504.16111 (cross-list from math.RA) [pdf, html, other]

Title: Residuated lattices do not have the amalgamation property

Peter Jipsen, Simon Santschi

Comments: 2 pages, 1 figure

Subjects: Rings and Algebras (math.RA); Logic (math.LO)

Wed, 23 Apr 2025 (showing 2 of 2 entries )

[15] arXiv:2504.15675 [pdf, html, other]

Title: The $λ$-PSP at $λ$-coanalytic sets

Fernando Barrera, Vincenzo Dimonte, Sandra Müller

Comments: 25 pages

Subjects: Logic (math.LO)

[16] arXiv:2504.15398 [pdf, html, other]

Title: Multiple gaps and some finitizations of club and CH

Jorge Antonio Cruz Chapital

Comments: 28 pages

Subjects: Logic (math.LO); General Topology (math.GN)