Конструктивные множества с равенством и их отображения

Конструктивное множество конструктивных объектов, рассматриваемое вместе с некоторым конструктивно охарактеризованным отношением равенства между его элементами, называется в этой работе $p$-множеством. Вводится классификация $p$-множеств по определенным признакам и изучаются свойства этой классификации. Выясняется ряд существенных отличий теории $p$-множеств от имеющейся в классической математике теории фактормножеств. Исследуются конструктивные отображения одних $p$-множеств в другие и устанавливается ряд феноменов, существенно отличающих теорию таких отображений от теории отображений фактормножеств, имеющейся в классической математике. Библ. 24 назв.