Compressible groups
Congruence kernels of orthoimplication algebras.
Congruence lattices of Rees matrix semigroups.
Congruences and ideals in lattice effect algebras as basic algebras
Effect basic algebras (which correspond to lattice ordered effect algebras) are studied. Their ideals are characterized (in the language of basic algebras) and one-to-one correspondence between ideals and congruences is shown. Conditions under which the quotients are OMLs or MV-algebras are found.
Congruences and isotone maps on partially ordered sets.
Continuity and linear extensions of quantum measures on Jordan operator algebras.
Continuity and Modularity of the Lattice of Closed Subspaces of a Locally Convex Space.
Continuous modular lattices of breadth two.
Control and separating points of modular functions
Corrections à l'article "ordres C.A.C.", Fundamenta Mathematicae 79 (1973), pp. 11-22
Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
We give a new proof of the fact that finite bipartite graphs cannot be axiomatized by finitely many first-order sentences among finite graphs. (This fact is a consequence of a general theorem proved by L. Ham and M. Jackson, and the counterpart of this fact for all bipartite graphs in the class of all graphs is a well-known consequence of the compactness theorem.) Also, to exemplify that our method is applicable in various fields of mathematics, we prove that neither finite simple groups, nor the...