{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreib4n4yzncse6wuqcog4dq3nmgj77nnqerexjeu7lgylk5jsvdde74",
    "uri": "at://did:plc:3fychdutjjusoqeq24ljch6q/app.bsky.feed.post/3mhyzzr3xomh2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreiflo6xt7is6b2iafwghkjahlgggocme5jwjsbeuqqwcywuvjhmszm"
    },
    "mimeType": "image/png",
    "size": 24783
  },
  "path": "/abs/2603.23630v1",
  "publishedAt": "2026-03-26T00:00:00.000Z",
  "site": "https://arxiv.org",
  "tags": [
    "Stefan Friedl",
    "Tobias Hirsch",
    "Marc Kegel"
  ],
  "textContent": "**Authors:** Stefan Friedl, Tobias Hirsch, Marc Kegel\n\nIn this short expository note, we give a detailed proof of Markov's theorem on the unsolvability of the homeomorphism problem and of the existence of unrecognizable manifolds in all dimensions larger than 3.",
  "title": "The Unsolvability of the Homeomorphism Problem"
}