nLab Wolfgang Burr

• Mathematics Genealogy page

• MathSciNet page

Selected works

On the arithmetical hierarchy in constructive mathematics:

• Wolfgang Burr: The intuitionistic arithmetical hierarchy, in: J. Van Eijck, V. Van Oostrom, A. Visser (eds.): Logic Colloquium ’99, Lecture Notes in Logic 17, Cambridge University Press (2004) 510–59 [doi:10.1017/9781316755921.004]

category: people