%0 Journal Article %A A. S. Morozov %T Group $\mathrm{Aut}_r\langle Q,\le\rangle$ is not constructivizable %J Matematičeskie zametki %D 1984 %P 473-478 %V 36 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MZM_1984_36_4_a1/ %G ru %F MZM_1984_36_4_a1