Этимологический словарь русского языка Макса Фасмера
Петро́поль риторическое и поэтическое название города Петербурга, начиная с Петра I, по аналогии греч. названий на -πολις (Унбегаун, RЕS 9, 273). Ср. Петербу́рг.
«Петрополь»
Петрополь в энциклопедиях