Sharply Orthocomplete Effect  Algebras

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

Authors	PASEKA Jan KALINA Martin RIEČANOVÁ Zdenka
Year of publication	2010
Type	Article in Periodical
Magazine / Source	Acta Polytechnica
MU Faculty or unit	Faculty of Science
Citation
web	http://ctn.cvut.cz/ap/download.php?id=547
Field	General mathematics
Keywords	effect algebra; sharp element; central element; block; sharply dominating; S-dominating; sharply orthocomplete
Description	Special types of effect algebras E called sharply dominating and S-dominating were introduced by S. Gudder. We prove statements about connections between sharp orthocompleteness, sharp dominancy and completeness of E. Namely we prove that in every sharply orthocomplete S-dominating effect algebra E the set of sharp elements and the center of E are complete lattices bifull in E. If an Archimedean atomic lattice effect algebra E is sharply orthocomplete then it is complete.
Related projects:	Mathematical structures and their physical applications