Pavlův Studenec to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Paulusbrunn.
. Dziś miejscowość jest opuszczona, a jej teren należy do Czechy.
| Historyczna nazwa miejscowości | Państwo | Administracja | Czas |
|---|---|---|---|
| Paulusbrunn | Austro-Węgry | Tachau | przed traktatem pokojowym z Austrią |
| Pavlův Studenec | Czechosłowacja | Tachov | po traktacie pokojowym z Austrią |
| Paulusbrunn | Czechosłowacja | Tachov | po traktacie pokojowym z Austrią |
| Paulusbrunn | Rzesza Niemiecka | Tachau | 1938 |
| Pavlův Studenec | Czechosłowacja | Tachov | 1945 |
| - aufgelassen - | Czechosłowacja | Tachov | 1992 |
| - aufgelassen - | Czechy | Tachov | 1993 |