Faizrahmanov M.; Kach A.; Kalimullin I.; Montalbán A.; Puzarenko V.
(2019)
© 2019 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim It is proved that for every countable structure A and a computable successor ordinal α there is a countable structure A−α which is (Formula presented.) -least among all ...