{
  "version": "1.0",
  "type": "rich",
  "title": "Models of ZFC",
  "author_name": "Evan Chen 《陳誼廷》",
  "author_url": "https://blog.evanchen.cc/",
  "provider_name": "Power Overwhelming",
  "provider_url": "https://blog.evanchen.cc/",
  "url": "https://blog.evanchen.cc/zfc/",
  "description": "Model theory is really meta, so you will have to pay attention here. Roughly, a “model of Z F C \\mathsf{ZFC} ZFC ” is a set with a binary relation that satisfies the Z F C \\mathsf{ZFC} ZFC axioms,…",
  "html": "<blockquote><b><a href=\"https://blog.evanchen.cc/zfc/\">Models of ZFC</a></b><p>Model theory is really meta, so you will have to pay attention here. Roughly, a “model of Z F C \\mathsf{ZFC} ZFC ” is a set with a binary relation that satisfies the Z F C \\mathsf{ZFC} ZFC axioms,…</p><footer>Evan Chen 《陳誼廷》 — <a href=\"https://blog.evanchen.cc/\">Power Overwhelming</a></footer></blockquote>",
  "width": 800,
  "height": null
}