Complexity of distances: Theory of generalized analytic equivalence relations

21 Apr 2020 Cúth Marek Doucha Michal Kurka Ondřej

We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • FUNCTIONAL ANALYSIS
  • LOGIC
  • METRIC GEOMETRY