The last two numbers on Denon's are the model year. Referring to Batpig's guide (http://batpigworld.com/fadq.html#general
), a relatively nice GUI that overlays video is present on the 3808 (a higher, older model) and 2310 and higher from 2010 models, 2311 and higher from 2011 models. That also relates to HDMI video capabilities, although lower models will still pass through HDMI video which is probably fine. The 2011 models are the beginning of 3D capability (HDMI 1.4), which you said you don't care about.
I'm not sure about the Audyssey status of the models that you listed at the beginning of the post, but the 2310 and 2311 have Audyssey MultEQ (pretty good, and likely better than most of the models you listed). The 2310 would be HDMI 1.3 (as mentioned, no real difference in sound quality vs. 1.1 when used with the PS3 - just changes where you can do the decoding).
Another option is the 1712, which is the cheapest way to get Audyssey MultEQ XT for another step up in audio quality. It has the features of a modern AVR except for networking. You didn't really list any special requirements which might make some options better than others, such as analog inputs or extra zones.