THE FIRST EXAMPLE OF MAXIMAL ITERATIVE ALGEBRA OF THE FUNCTIONS OF TOPOLOGICAL BOOLEAN ALGEBRA OF ORDER 16 WITH 3 OPEN ELEMENTS

摘要

A.I. Mal’tsev [6] proposed the problem to obtain the description of iterative algebras of functions in propositional logics. From functional point of view a special interest represent the separation and description of maximal iterative algebras. L. Esakia and V. Meshi [1] and independly L.Maksimova [5] discovered the existence of pre-tabular modal logic EM4. It is approximated by the logics of a series of topological Boolean algebras ? i (i = 1,2,...) of order 2 i with 3 open elements. In this work, for first time, a maximal subalgebra of iterative algebra of functions of topological Boolean algebra of order 16 with one open atom is built.