Report - Efiective descriptive set theoryynm/lectures/2013mostowski.pdfarithmetical undeflnability of arithmetical truth, etc. † Mostowski [1947]: Reinvents the arithmetical hierarchy,

Please pass captcha verification before submit form