{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihccdtkdl7rypqlb6se7ecomirdn63dzmjhvcafhc6jiyphnyfa6u",
    "uri": "at://did:plc:6t55zewcvauifrt5ts3usclu/app.bsky.feed.post/3mjchxsgk7dn2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreidzsnwx52nlqpxvth32go6wiq7mz6lihq7uuvqj7yoc2qun4xurni"
    },
    "mimeType": "image/png",
    "size": 6035
  },
  "path": "/questions/510151/what-are-some-advantages-of-set-theory-compared-to-type-theory-for-mathematical",
  "publishedAt": "2026-04-12T05:36:54.000Z",
  "site": "https://mathoverflow.net",
  "title": "What are some advantages of set theory compared to type theory for mathematical research? – mathoverflow.net",
  "updatedAt": "2026-04-12T13:00:20.000Z"
}