Все доступные журналы

Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).

• 01:23, 24 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Hyperarithmetical theory (Новая страница: «{{Английская Википедия/Панель перехода}} In recursion theory, '''hyperarithmetic theory''' is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory.<ref>[https://www.uni-muenster.de/imperia/md/...»)