PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
[parent] Viewing Message
``Pi^0_n definition correct?'' by iddo on 2003-09-02 06:20:19
I think that $Pi^0_n$ definition should require that $xi$ (the inner formula) be a $Delta_0$ formula, and not $Delta^0_1$.
[ reply | up ]

Interact
reply