Infinitely many maximal primitive positive clones in a diagonalizable algebra

Andrei Rusu<sup>ab

a</sup> Ovidius University of Constanţa, bd. Mamaia 124, Constanţa, România
^b Information Society Development Institute, str. Academiei 5a, Chişinău, Moldova

Abstract: We present a rather simple example of infinitely many maximal primitive positive clones in a diagonalizable algebra, which serve as an algebraic model for the provability propositional logic $GL$.

Keywords and phrases: primitive positive clones, provability logic, diagonalizable algebra.

MSC: 03F45, 03G25, 06E25

Received: 18.02.2013

Language: English