W. Herfort:
"Virtually Free pro-p Groups";
Vortrag: Tel Aviv University, School of Mathematics, Tel Aviv; 15.02.2000.
Virtually free pro p Groups act on a pro-p tree with finite vertex stabilizers. When G is finitely generated, an outline of the proof is
given.