Nazwa Zarówno obecnie, jak i w przeszłości dla określenia opisywanej góry stosowano zamiennie kilka nazw. Na urzędowej mapie austriackiej z 1892 roku kota 1610 nie została opisana (w przeciwieństwie chociażby do niższej Baby Ludowej), a jedynie połoninę w jej rejonie oznaczono jako Halę Mihailewą. Jednocześnie termin Pochreptina przypisano do bocznego grzbietu pomiędzy spływającymi na północ potokami Mihailewy i Odzirny. Analogiczną nomenklaturę stosowano w Słowniku geograficznym Królestwa Polskiego (tomy z lat 1884–1887). Podobnie na polskiej mapie Wojskowego Instytutu Geograficznego z 1932 roku zaznaczono jedynie połoninę Halę Michajłową oraz grzbiet Pochreptynę. Dodatkowo tym samym mianem określono niższy, położony ok. 1200 metrów na południowy zachód wierzchołek o wysokości 1420 m n.p.m. (na mapie austriackiej pod nazwą Odzirne). Po aktualizacji mapy w 1938 roku termin Hala Michajłowa zastąpiono nazwą Połonina Michajłowa, główny wierzchołek otrzymał nazwę Pohreptyna, usunięto zaś nazwę wierzchołka południowego.