About Dominik Wehr

I am a postdoc at the group for mathematical logic at Würzburg university.

I am working at the intersection of ordinal analysis, reverse mathematics and cyclic/ill-founded proof theory. Also fond of constructive mathematics and metamathematics more generally.

Lists

Timeline

dw has no activity yet