# Talk:Enumerable predicate

From Encyclopedia of Mathematics

## Wrong title?

Probably should be "Enumerability of predicate", or "enumerable predicate". It is not about "predicate of enumerability"! Boris Tsirelson (talk) 20:08, 5 October 2014 (CEST)

- Presumably it is
*enumerable predicate*, as discussed in, for example, Matiyasevich, Yu.V., "A new proof of the theorem on exponential diophantine representation of enumerable sets",*J. Sov. Math.***14**(1980) 1475-1486 . Zbl 0449.03043. Richard Pinch (talk) 21:30, 11 October 2014 (CEST)- Well, I move it. Boris Tsirelson (talk) 07:36, 12 October 2014 (CEST)

**How to Cite This Entry:**

Enumerable predicate.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Enumerable_predicate&oldid=33563