|WikiProject Mathematics||(Rated Start-class, Mid-importance)|
||It is requested that an image or photograph be included in this article to improve its quality. Please replace this template with a more specific media request template where possible.
The Free Image Search Tool may be able to locate suitable images on Flickr and other web sites.
don't merge, please
I have since rewritten arithmetical hierarchy and this page is not redundant with it. This page covers arithmetical sets in general, much like computable set covers computable sets in general. The hierarchy article is all about the subclassification. This page also covers implicitly arithmetical sets, which are not covered by the hierarchy page. So please don't redirect this article to the hierarchy article. CMummert · talk 17:44, 13 February 2007 (UTC)
- It's such a terrible article that I really hate to link anything to it. I say that as someone who probably wrote most of it, or most of some past version of it. The only thing I'll say in defense is that it was worse before I did that.
- I made a proposal in the talk page for a plan to improve it, but somehow that didn't magically result in the article's improvement. --Trovatore (talk) 20:00, 23 November 2012 (UTC)
- I see. If definable real number isn't up to par, at least it should link to this arithmetical set page. Of course, ideally it would be best to improve the other article. I haven't checked the traffic statistics but real numbers apriori have wider appeal than sets as far as the general public goes. Tkuvho (talk) 13:48, 25 November 2012 (UTC)
- P.S. The definable number page claims that "the truth set of first order arithmetic" is an example of "numbers that are definable but not computable". This seems to be contradicted by a claim on this page, unless of course one talks about different notions of definability. Can someone comment on this? Tkuvho (talk) 14:52, 25 November 2012 (UTC)
Use of countable and denumerable side-by-side
In the Properties section. Since some authors define these terms differently from one another, this is poor form. I'm assuming this was done by two different people, but since I don't know enough about the subject, I don't want to edit it myself, for fear of there being an actual distinction. Can someone clarify? Surement (talk) 18:43, 2 May 2014 (UTC)
- I think some people use "denumerable" to exclude "finite", but "countable" to include it. However this distinction is not worth bothering about, in my opinion, and "denumerable" is a bit dated. I've changed it to "countable". --Trovatore (talk) 20:41, 2 May 2014 (UTC)
No arithmetically definable sequence that enumerates all arithmetical sets?
The article says "no arithmetically definable sequence that enumerates all arithmetical sets". This seems dubious if we allow the same set to be enumerated more than once, since we may just enumerate all well-formed formulas. Do I miss anything?Dan Gluck (talk) 09:26, 11 June 2016 (UTC)
- I think what it means is something like this: There is no arithmetical formula φ(n,m) such that φ(n,·) enumerates all the arithmetical predicates, as n ranges over the natural numbers. That is, certainly, you can have a sequence An such that every An is an arithmetical set, and you get all of them as n varies over the naturals. But the question "Is m an element of An?" cannot be answered by a fixed arithmetical definition taking n and m as parameters.
- Does that make sense? If so, can you offer a suggestion as to fix the language so that it's clearer? --Trovatore (talk) 01:29, 12 June 2016 (UTC)