Free and projective LinGL 2-algebras

Author: Tatiana Kiseliova
Co-authors: Revaz Grigolia
Keywords: projective algebra, free algebra, provability logic
Annotation:

A description of m-generated free LinGL 2 -algebras in the variety LinGL2 , corresponding to bi-modal provability logic LinGL2 , is given. The characterization of projective LinGL 2 –algebra is given. It is shown that any m-generated LinGL 2-subalgebra of m-generated free LinGL 2-algebra is projective.

Lecture files:

Free and projective LinGL2-algebras [en]
თავისუფალი და პროექციული LinGL 2-ალგებრები [ka]