Daher trug die Ortschaft für mehr als 100 Jahre seinen Namen, so z. B. Petwrlehota (1424), Lehota Petri (1455) und Petrik Lehathaya (1464), danach änderte sich der Name auf Inferior Lehotha (1528) und Lehotka (1536).