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
References to 'deductions are $\Delta_1$'
1. universal relations exist for each level of the arithmetical hierarchy by Henry