|WikiProject Mathematics||(Rated Start-class, Mid-importance)|
||It is requested that an image or photograph be included in this article to improve its quality.
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)