Computable measures coprojection consistent with ordering relation is not necessarily computable
From MaRDI portal
Publication:355289
DOI10.3103/S0027132212020040zbMath1283.03077MaRDI QIDQ355289
Publication date: 24 July 2013
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
Undecidability and degrees of sets of sentences (03D35) Algorithmic randomness and dimension (03D32)
Cites Work
This page was built for publication: Computable measures coprojection consistent with ordering relation is not necessarily computable