Title: On constructive interpretation of predicative mathematics
Subjects: Mathematics, Number theory, Philosophy, Proof theory, Mathematics, philosophy