Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

N. A. Bazhenov, M. Mustafa, L. San Mauro, M. M. Yamaleev

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

A standard tool for classifying the complexity of equivalence relations on ω is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which (Formula presented.), where α ≥ 2 is a computable ordinal and n is a non-zero natural number. We prove that there are infinitely many pairwise incomparable minimal equivalence relations that are properly in Γ.

Язык оригиналаанглийский
Страницы (с-по)145-150
Число страниц6
ЖурналLobachevskii Journal of Mathematics
Том41
Номер выпуска2
DOI
СостояниеОпубликовано - 1 фев 2020

Fingerprint Подробные сведения о темах исследования «Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать