Countable and finitary reductions on equivalence relations

Autorzy

Dane publikacji

  • DOI: 10.4064/fm240324-9-7

  • Tom 270

  • Zeszyt 3

  • Czasopismo: Fundamenta Mathematicae

  • Strony: 201-221

  • Data publikacji online: 11.08.2025

Liczba wyświetleń: 0

Liczba pobrań: 0

Abstrakt

Inspired by the very successful study of Borel equivalence relations under Borel reducibility in descriptive set theory and equivalence relations on $\omega $ under computable reducibility in computability theory, R. Miller defined a family of reducibility notions. Defined on equivalence relations on Baire space or Cantor space, these reducibilities are required to succeed (uniformly) on all finite or countable subsets of the whole space. In this paper, we combine methods from computability theory and descriptive set theory to study equivalence relations under these reductions. In particular, we show existence and non-existence of complete equivalence relations in various settings.
Countable and finitary reductions on equivalence relations - Fundamenta Mathematicae | Wydawnictwa - Instytut Matematyczny Polskiej Akademii Nauk