On order automorphisms of the effect algebra
arXiv:1803.00762
Abstract
We give short proofs of two Šemrl's descriptions of order automorphisms of the effect algebra. This sheds new light on both formulas that look quite complicated. Our proofs rely on Molnár's characterization of order automorphisms of the cone of all positive operators.
7 pages