Talk:Enumerable predicate
From Encyclopedia of Mathematics
(Redirected from Talk:Enumerability predicate)
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:
Enumerability predicate. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Enumerability_predicate&oldid=33562
Enumerability predicate. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Enumerability_predicate&oldid=33562