Computable measures coprojection consistent with ordering relation is not necessarily computable
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2012), pp. 17-20

Voir la notice de l'article provenant de la source Math-Net.Ru

An example of two computable probabilistic measures is given on infinite binary sequences such that the two measures are comparable (there exists their coupling that forbids the pairs of symbols with the first member less than the second one), but all such couplings are incomputable.
@article{VMUMM_2012_2_a3,
     author = {M. A. Raskin},
     title = {Computable measures coprojection consistent with ordering relation is not necessarily computable},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {17--20},
     publisher = {mathdoc},
     number = {2},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2012_2_a3/}
}
TY  - JOUR
AU  - M. A. Raskin
TI  - Computable measures coprojection consistent with ordering relation is not necessarily computable
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2012
SP  - 17
EP  - 20
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2012_2_a3/
LA  - ru
ID  - VMUMM_2012_2_a3
ER  - 
%0 Journal Article
%A M. A. Raskin
%T Computable measures coprojection consistent with ordering relation is not necessarily computable
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2012
%P 17-20
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2012_2_a3/
%G ru
%F VMUMM_2012_2_a3
M. A. Raskin. Computable measures coprojection consistent with ordering relation is not necessarily computable. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2012), pp. 17-20. http://geodesic.mathdoc.fr/item/VMUMM_2012_2_a3/