Publications and Research

Document Type


Publication Date



We construct the first examples of algorithmically complex finitely presented residually finite groups and the first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn functions, and arbitrarily large depth functions. The groups are solvable of class 3.


This article was originally published in Bulletin of Mathematical Sciences, available at DOI 10.1007/s13373-017-0103-z.

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (

Included in

Mathematics Commons


To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.