For a finite von Neumann algebra factor M, the projections form a modular ortholattice L(M). We show that the equational theory of L(M) coincides with that of some resp. all L(ℂ n × n ) and is decidable. In contrast, the uniform word problem for the variety generated by all L(ℂ n × n ) is shown to be undecidable.

ZusammenfassungDie wichtigsten Werke Edmund Schlinks zur ökumenischen Theologie erscheinen in einer Neuedition. Die im ersten Band enthaltenen Vorträge stellen heraus, dass Ökumene von Gott her empfangen wird. Der Mensch trägt in der Gestalt der Buße, durch die Überwindung theologischer Reduktionismen zur Ökumene bei.SummaryThe most important works of Edmund Schlink concerning the ecumenical theology will be published in a new edition. The lectures contained in the first volume of this edition emphasize: ecumene can be received by God. Man contributes to ecumene (...) by penance, by overcoming of theological reductionisms. (shrink)