ATProto Browser

Record data

{
  "uri": "at://did:plc:uvfe6v5fz36l3cm73aacf2kd/app.bsky.feed.post/3lnzvuqqmms2x",
  "cid": "bafyreic6rnqkm6b7sgamcmkhy7yblie3kos3fmqy5vpfpxd3sqvd45vdlu",
  "value": {
    "text": "You can try systems of math like \"predicativity\", that don't include the reals as a set. You can still do most things. Check out the book Subsystems of Second Order Arithmetic by Simpson. The first chapter is free on the author's homepage: sgslogic.net/t20/sosoa/ch...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://sgslogic.net/t20/sosoa/chapter1.pdf",
        "title": "",
        "description": ""
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreidf2q4yl3f5c3batdgui3hwlbejq7rrolap5w735ybe33j54pc42q",
        "uri": "at://did:plc:k4pk3m6rz5roldf73eww4ksb/app.bsky.feed.post/3lnljizxbkk2v"
      },
      "parent": {
        "cid": "bafyreiaw33ncffayvucev3mgafr4rfhh3xfhngi7lgdx7ny64kzgmqycoe",
        "uri": "at://did:plc:vszw3ess46odfhnzdsy4huae/app.bsky.feed.post/3lnyxvhhe7k2w"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 268,
          "byteStart": 240
        },
        "features": [
          {
            "uri": "https://sgslogic.net/t20/sosoa/chapter1.pdf",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-04-30T13:33:12.422Z"
  }
}