Об эффективных линейных порядках

В работе вводится и исследуется понятие конструктивного линейно-упорядоченного множества, обобщающее понятие конструктивного ординала, введенное Клини и Черчем. Изучается связь междуконструктивностью и рекурсивностью линейно-упорядоченных множеств, а также между конструктивными линейно-упорядоченными множествами и конструктивными, в смысле Клини, ординалами.