• 15 сентября, 2008
  • Михаил Раскин
  • Отношение сравнения на мерах и вычислимость
  • Аннотация
  • На мерах на частично упорядоченном множестве можно ввести отношение порядка, означающее существование меры на парах объектов с проекциями, равными сравниваемым мерам, и по которой первый объект почти наверное больше либо равен второму. Если в качестве объектов взять бесконечные слова над частично упорядоченным алфавитом с покоординатным сравнением, то можно спросить, следует ли из вычислимости мер вычислимость сравнивающей их меры. Ответ на этот вопрос оказывается отрицательный. В докладе строится пример таких мер.