DSpace Repository

Browsing Выпуск 4 by Subject "иерархия Ершова"

Browsing Выпуск 4 by Subject "иерархия Ершова"

Sort by: Order: Results:

  • Оспичев, Сергей Сергеевич (Новосибирский государственный университет, 2010)
    В статье показано, что не существует Δа^(−1) -вычислимой нумерации семейства всех Δa^(-1) -множеств, где a — конструктивный ординал. Также было доказано, что существует минимальная ω-вычислимая нумерация семейства всех ...

Search DSpace


Advanced Search

Browse

My Account