Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.
В.А. Любецкий (1991)
Algebra i Logika
Similarity:
Displaying similar documents to “Один подход к построению конструктивных аналогов теории множеств”
Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.
Модели теории множеств образованные совершенным отношением
Bohuslav Balcar, Tomáš Jech (1965)
Časopis pro pěstování matematiky
Similarity:
Случайные разбиения множеств с помеченными подмножествами
В.Н. Сачков (1973)
Matematiceskij sbornik
Similarity:
Аксиома Zermelo и ее роль в теории и множеств в анализе
В.К. Серпинский ([unknown])
Matematiceskij sbornik
Similarity:
Обобщенная вычислимость и дескриптивная теория множеств
В.А. Ганов (1974)
Sibirskij matematiceskij zurnal
Similarity:
Относительно стандартные элементы в теории внутренних множеств Е.Нельсона.
Е.И. Гордон (1989)
Sibirskij matematiceskij zurnal
Similarity:
Об измеримости множеств по Лебегу в конструктивной математике
Osvald Demuth (1969)
Commentationes Mathematicae Universitatis Carolinae
Similarity: