Difference between revisions of "Talk:Enumerable predicate"
From Encyclopedia of Mathematics
(→Wrong title?: Presumably it is ''enumerable predicate'') |
(I move it) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
Probably should be "Enumerability of predicate", or "enumerable predicate". It is not about "predicate of enumerability"! [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk:Boris Tsirelson|talk]]) 20:08, 5 October 2014 (CEST) | Probably should be "Enumerability of predicate", or "enumerable predicate". It is not about "predicate of enumerability"! [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk: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. [[User:Richard Pinch|Richard Pinch]] ([[User talk:Richard Pinch|talk]]) 21:30, 11 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. [[User:Richard Pinch|Richard Pinch]] ([[User talk:Richard Pinch|talk]]) 21:30, 11 October 2014 (CEST) | ||
| + | ::Well, I move it. [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk:Boris Tsirelson|talk]]) 07:36, 12 October 2014 (CEST) | ||
Latest revision as of 05:36, 12 October 2014
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=33553
Enumerable predicate. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Enumerable_predicate&oldid=33553