2 papers
math.LO2023
On locally finite varieties of Heyting algebras
M. Martins, T. Moraschini
For every , we construct a variety of Heyting algebras, whose -generated free algebra is finite but whose -generated free algebra is infinite.
math.QA2018
The nodal cubic and quantum groups at roots of unity
Ulrich Kraehmer, Manuel Martins
In a recent article, the coordinate ring of the nodal cubic was given the structure of a quantum homogeneous space. Here the corresponding coalgebra Galois extension is expressed i…