{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 09:23:20.182Z","domain":"mathstodon.xyz","followerCount":129,"followers":"https://mathstodon.xyz/users/dwarn/followers","following":"https://mathstodon.xyz/users/dwarn/following","followingCount":57,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/501/286/213/066/314/original/5df0f67d2c063969.jpg","id":"e2u2xzpzj5wt9f9","inbox":"https://mathstodon.xyz/users/dwarn/inbox","iri":"https://mathstodon.xyz/users/dwarn","isLocal":false,"last_fetched":"2026-05-17 15:55:05.614Z","outbox":"https://mathstodon.xyz/users/dwarn/outbox","preferred_username":"dwarn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4TIeRwiJ1+7m1LHe4cOX\nxoghf/ySdxR4MlTYSrTYv93pquz9bj6YE/tnSOd0ud5JGmxm5nCpvqqMH9gS+Ouv\nk0OiZUe0FZE1VGAIDQkvWZca9bfTA2myHDiJuUYhRxDvDgvlTQc9PZew2sAOSVG6\nTcIbW0oYhe5S3dug6F6KDYs3H1uekq391VpByoL3br4j3um1BosPwK4Sp9yZK/R5\nRVHGxi1Tn+XosaAW+TsYYvc8wcrhldiavVkhOFKfIFuxPmhcEmxW8pWWPOHG5haL\nPt+pPL6mU7vAqcvrqgC6WSx+HQR43wuQqHgtSUszzWunrs6RcjNCGPuxw9qk4OsU\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"

PhD student in homotopy type theory at the University of Gothenburg

","updated":"2026-05-17 15:55:05.615Z","user":"","username":"David Wärn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 09:23:20.125Z","domain":"mathstodon.xyz","followerCount":601,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":186,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"3j0g8hf1x8ednxb","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2026-05-17 15:55:05.649Z","outbox":"https://mathstodon.xyz/users/danielgratzer/outbox","preferred_username":"danielgratzer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtoCR+Cf9KOXg93ijIjse\n9Lx0S9ArGsljMyDe+ovl/zmbUIF248uGiXMfSUHCDkbqYUklge84qqUX/TinIVI9\nbziw5lWZAVcxmb9n68Li/JKv+N6hbuqOIF6Kjg119M8NXijYTlIkVckyszl2sOEp\nBmcqVvjNBF12LvulCGaXQRbUaRKD988sJREnSDDFPACG1nHa/A3WhMuJ7Lb2RJiv\n9xmQV575mGkjHPVOqtxUwmnRdXrNFzq4ZNZTtoFg35p3SdXZGqfPQDA2fm7MXfHf\ntZWQoFdAsDApp5LG9n2KqANKxMNiJHJtK78QIEOddKr8vkoV2lGx0Rj7Xi0Sh75o\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

","updated":"2026-05-17 15:55:05.649Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-20 23:57:36.825Z","domain":"mathstodon.xyz","followerCount":130,"followers":"https://mathstodon.xyz/ap/users/116437586980807067/followers","following":"https://mathstodon.xyz/ap/users/116437586980807067/following","followingCount":110,"icon":"https://media.mathstodon.xyz/accounts/avatars/116/437/586/980/807/067/original/6ab5e2eb70b0c4db.png","id":"2mf2ba486a704zh","inbox":"https://mathstodon.xyz/ap/users/116437586980807067/inbox","iri":"https://mathstodon.xyz/ap/users/116437586980807067","isLocal":false,"last_fetched":"2026-05-17 15:55:05.689Z","outbox":"https://mathstodon.xyz/ap/users/116437586980807067/outbox","preferred_username":"iblech","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlUe3cUP0aa04pQMtl3D4\ngGI+X/lGkOMSLWgz9UVnAaBguI4cyr/tV0IRUMuWBjMrnbZbsHKwnBQF9l9v98Q+\nOYJYIypBD5kJKlVKCgmxU25UFCYm4terBfj4owXlDiEJFK9opVPro0WSddyeTPsW\n0p22fI4w/R396fhNff7X9W0DfT6MnfzZROsHCEyRRo4pSUAOwe+U6crpq2IncWZm\n+4PEDxDHoxxFXK/Tnr1eKTURb1nP7c7jctbmfOHOztRjZO+pSMwLjc5eg5RoJUy5\n7HxO6pwwPiOsbMC+njabPkqa47AHthpOEVXzgYQVPujd2v6zPXZDAvlSHCvpgmX5\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-04-20 00:00:00.000Z","summary":"","updated":"2026-05-17 15:55:05.690Z","user":"","username":"Ingo Blechschmidt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 16:55:06.261Z","domain":"mathstodon.xyz","followerCount":146,"followers":"https://mathstodon.xyz/users/dw/followers","following":"https://mathstodon.xyz/users/dw/following","followingCount":82,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/393/318/274/683/457/original/7e3596161f710406.png","id":"lub1v4zihpcuvbb","inbox":"https://mathstodon.xyz/users/dw/inbox","iri":"https://mathstodon.xyz/users/dw","isLocal":false,"last_fetched":"2026-05-17 15:55:06.175Z","outbox":"https://mathstodon.xyz/users/dw/outbox","preferred_username":"dw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw2D3+yGkljVYuCWbxsOD\nf873rQD6/VsZ59H3GWNcNeUzJTTEfUz1g0drROZhtS652GuPIRxhIc7T7ADrQiWR\nX41BbBz0sjl0w+0lAXStc543QbMqQNZkNGYT4KOvnvrbwi1sFWMldciXBtkHCBAK\nFZbkPn4SqkLJgciz7hvNoPRgRaRS5RLt8SvBNIKZUhkrzYMvoEplfRNpr0C+0skM\nJpGLEOLb8IcjhYka8xX54ZuaDgZ3WpLynCqTAaJczr8WewdNgSI8ufI+d53ZuL0Y\nmmDjve8h5cgGdqyebXIDyPJq4T8paFIZPjSw/jzhH0FQNbSOd9/my7UYpWxa2m8z\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-23 00:00:00.000Z","summary":"

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.

","updated":"2026-05-17 15:55:06.175Z","user":"","username":"Dominik Wehr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-20 19:24:25.540Z","domain":"mathstodon.xyz","followerCount":256,"followers":"https://mathstodon.xyz/users/ecavallo/followers","following":"https://mathstodon.xyz/users/ecavallo/following","followingCount":81,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/370/069/239/586/021/original/7c05af7ae01f01c6.png","id":"cnmq6bb3zuwj7hp","inbox":"https://mathstodon.xyz/users/ecavallo/inbox","iri":"https://mathstodon.xyz/users/ecavallo","isLocal":false,"last_fetched":"2026-05-17 15:55:06.212Z","outbox":"https://mathstodon.xyz/users/ecavallo/outbox","preferred_username":"ecavallo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3naHyQYGx2MOOHVquVvU\nE96oVhPSB7n5Vv057Z1shKe6LrA4iil8I5Y/nYlfKkayG9Mc4F2cSqWCbH1JXAVG\nYg2fqbwLaT0bLzqFYD1f3YRF8CoLznKtklAhenmZuSmsYfMrrjKsPL8qOEqyQnCf\nxsrbkR8fX7LiekElCE9BEuFdVW3AZ6GD4YLT3mYkFW/DadDs43jo6Ttnoxv8Va5I\nNpI31QiWC4cnjpOq9xpXfzc558kcVZX5iqDX61pWC7gM9PfN2AfJ3dBsPtpgXlOH\nq6TvHUiSSVsYYJL0sNtxdxgnB2/JsYXrsRQ/Fvah+KUEjG7YnRS72KEEiLNEG8BN\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

Postdoc at Göteborgs universitet. Types + Cubes

","updated":"2026-05-17 15:55:06.213Z","user":"","username":"Evan Cavallo"}],"page":1,"perPage":10,"totalItems":10,"totalPages":1}

Jonas Höfer

Following