Finite axiomatization of GL×S5 and Grz×S5

2025/12/10 by Bezhanishvili, Guram, Khan, Mashiath
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Combinatorial Mathematics #Homotopy and Cohomology in Algebraic Topology

paper · doi:10.48550/arxiv.2512.09381

Abstract

We prove that GL × S5 is product matching, and that Grz × S5 is axiomatizable by adding to [Grz,S5] the Gödel translation of the monadic Casari formula. This settles the question of the finite axiomatizability of these logics posed by Gabbay and Shehtman (1998).

Citations

• The Monadic Grzegorczyk Logic
• Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations

Related

• GL_n(\mathbbF_q)-analogues of some properties of n-cycles in \mathfrakS_n
• Symmetrization of representations of GL_N
• Betti-Whittaker periods under duality: variations and applications
• Special values of automorphic L-functions for GL_n× GL_n' over CM fields, factorization and functoriality of arithmetic automorphic periods
• Formule de caractère pour la série discrète de GL(N). Guide de l'utilisateur pour typistes