4 ms·Computable Structure Theory: Beyond the arithmetic [pdf]3 points by nill0 1y agodeleted 1y ago[deleted]