Fine Art


V. de Paiva. "A dialectica-like model of linear logic". In Proc. Conf. on Category Theory and Computer Science, Springer-Verlag Lecture Notes in Computer Science 389, pp. 341–356, Manchester, September 1989.

In mathematics, Mautner's lemma in representation theory states that if G is a topological group and π a unitary representation of G on a Hilbert space H, then for any x in G, which has conjugates


converging to the identity element e, for a net of elements y, then any vector v of H invariant under all the π(y) is also invariant under π(x).

F. Mautner, Geodesic flows on symmetric Riemannian spaces (1957), Ann. Math. 65, 416-430

Mathematics Encyclopedia

Retrieved from ""
All text is available under the terms of the GNU Free Documentation License

Home - Hellenica World