A use of the method of interpretations for decidability or undecidability of measure spaces
scientific article; zbMATH DE number 3819688