Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

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

Research output: Contribution to journalArticlepeer-review

Abstract

Abstract: 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 Γ.

Original languageEnglish
Pages (from-to)145-150
Number of pages6
JournalLobachevskii Journal of Mathematics
Volume41
Issue number2
DOIs
Publication statusPublished - Feb 1 2020

Keywords

  • analytical hierarchy
  • computable reducibility
  • equivalence relation
  • hyperarithmetical hierarchy
  • minimal degree

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies'. Together they form a unique fingerprint.

Cite this