Talk:Lightface analytic game

Should this page exist?
Certainly somewhere there need to be pages explaining what lightface means, and the lightface equivalent of analytic set, and what a game is, but I have some doubts whether they need to be unified in one page. On the other hand it is a convenient link from 0#. Anyway it was hanging around as requested for more than two years, and wasn't hard to define, so I went ahead and drew up the page. --Trovatore 02:04, 7 September 2005 (UTC)