@article{DANMA_2021_499_a5,
     author = {E. A. Kolmakov},
     title = {On a strengthening of the non-isomorphism theorem for provability algebras},
     journal = {Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleni\^a},
     pages = {26--30},
     publisher = {mathdoc},
     volume = {499},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DANMA_2021_499_a5/}
}