Любое семейство подмножеств праэлементов порождает допустимое множество. Ю.Л. Ершов — 1989 Sibirskij matematiceskij zurnal
Об отображении ограничения пространств порядков полей Ю.Л. Ершов — 1986 Sibirskij matematiceskij zurnal