Duality for finitely valued algebras

Autori: Abbadini, Marco, Přenosil, Adam

Soggetti: Mathematics - Logic

URL di accesso: http://arxiv.org/abs/2505.11490

Nagata products of bimodules over residuated lattices

Autori: Přenosil, Adam, Tsinakis, Constantine

Soggetti: Mathematics - Logic

URL di accesso: http://arxiv.org/abs/2505.11479

Separability Properties of Monadically Dependent Graph Classes

Autori: Bonnet, Édouard, Braunfeld, Samuel, Eleftheriadis, Ioannis, Geniet, Colin, Mählmann, Nikolas, Pilipczuk, Michał, Przybyszewski, Wojciech, Toruńczyk, Szymon

Soggetti: Mathematics - Combinatorics, Computer Science - Discrete Mathematics, Computer Science - Logic in Computer Science, Mathematics - Logic

URL di accesso: http://arxiv.org/abs/2505.11144

Internal Effectful Forcing in System T

Autori: Escardo, Martin H., Paiva, Bruno da Rocha, Rahli, Vincent, Tosun, Ayberk

Soggetti: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B38, 03B40, 03F50, F.4.1, F.3.1, F.3.2

URL di accesso: http://arxiv.org/abs/2505.11055

A completeness theorem in proof-theoretic semantics via set-theoretic semantics

Autori: Takemura, Ryo

Soggetti: Mathematics - Logic

URL di accesso: http://arxiv.org/abs/2505.10765

Algebraic Type Theory, Part 1: Martin-L\'of algebras

Autori: Awodey, Steve

Soggetti: Mathematics - Category Theory, Mathematics - Logic, 18C40, 18C50, 03B38

URL di accesso: http://arxiv.org/abs/2505.10761

Borel asymptotic dimension of the Roller boundary of finite dimensional CAT(0) cube complexes

Autori: Oyakawa, Koichi

Soggetti: Mathematics - Geometric Topology, Mathematics - Group Theory, Mathematics - Logic

URL di accesso: http://arxiv.org/abs/2505.10334

An algebraic theory of {\omega}-regular languages, via {\mu}{\nu}-expressions

Autori: Das, Anupam, De, Abhishek

Soggetti: Mathematics - Logic, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL di accesso: http://arxiv.org/abs/2505.10303

A New Construction Principle

Autori: Hyttinen, Tapani, Paolini, Gianluca, Quadrellaro, Davide Emilio

Soggetti: Mathematics - Logic, 03C48, 03C75, 06B25, 51E10, 51E12

URL di accesso: http://arxiv.org/abs/2505.10155

Homological Invariants of Higher-Order Equational Theories

Autori: Ikebuchi, Mirai

Soggetti: Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Logic, 03G30, F.4.1

URL di accesso: http://arxiv.org/abs/2505.10149

Grzegorczyk Logic Unlocked

Autori: Wołoszyn, Wojciech Aleksander

Soggetti: Mathematics - Logic

URL di accesso: http://arxiv.org/abs/2505.09836

SAD Neural Networks: Divergent Gradient Flows and Asymptotic Optimality via o-minimal Structures

Autori: Kranz, Julian, Gallon, Davide, Dereich, Steffen, Jentzen, Arnulf

Soggetti: Computer Science - Machine Learning, Mathematics - Logic, Mathematics - Optimization and Control, Statistics - Machine Learning, Primary 68T05, Secondary 68T07, 26B40, 03C64, 03C98

URL di accesso: http://arxiv.org/abs/2505.09572

Anti-classification results for conjugacy of diffeomorphisms on manifolds

Autori: Peng, Bo

Soggetti: Mathematics - Dynamical Systems, Mathematics - Logic, 37C15

URL di accesso: http://arxiv.org/abs/2505.09491

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic

Autori: Castiglioni, José Luis, Ertola-Biraben, Rodolfo C.

Soggetti: Mathematics - Logic, Computer Science - Logic in Computer Science, 03G10, 03E72, F.4.1

URL di accesso: http://arxiv.org/abs/2505.09302

On the abstract elementary class of acts with embeddings

Autori: Mazari-Armida, Marcos, Rosický, Jiří

Soggetti: Mathematics - Logic, Mathematics - Group Theory, Primary: 03C60, 20M30. Secondary: 03C45, 03C48, 20M12, 20M50

URL di accesso: http://arxiv.org/abs/2505.08760

A topos for extended Weihrauch degrees

Autori: Maschio, Samuele, Trotta, Davide

Soggetti: Mathematics - Category Theory, Mathematics - Logic, 03D30, 03G30

URL di accesso: http://arxiv.org/abs/2505.08697

Cyclic system for an algebraic theory of alternating parity automata

Autori: Das, Anupam, De, Abhishek

Soggetti: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Mathematics - Logic

URL di accesso: http://arxiv.org/abs/2505.09000

On Lambda functions in henselian and separably tame valued fields

Autori: Anscombe, Sylvy

Soggetti: Mathematics - Logic, 03C60, 12L12, 12L05

URL di accesso: http://arxiv.org/abs/2505.07518

Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields

Autori: Moreno, Paulo Andrés Soto

Soggetti: Mathematics - Logic, 03C10, 03C60, 12L12

URL di accesso: http://arxiv.org/abs/2505.07418

Undecidability of Polynomial Inequalities in Subset Densities and Additive Energies

Autori: Li, Yaqiao

Soggetti: Mathematics - Combinatorics, Computer Science - Computational Complexity, Mathematics - Logic

URL di accesso: http://arxiv.org/abs/2505.07378