1. 2021
  2. Computable metrics above the standard real metric

    Kornev, R., 2021, In: Siberian Electronic Mathematical Reports. 18, 1, p. 377-392 16 p., 29.

    Research output: Contribution to journalArticlepeer-review

  3. 2017
  4. Reducibility of Computable Metrics on the Real Line

    Kornev, R. A., 1 Sept 2017, In: Algebra and Logic. 56, 4, p. 302-317 16 p.

    Research output: Contribution to journalArticlepeer-review

ID: 3505495