![Mathematics / Z notation / Zermelo–Fraenkel set theory / Ordinal numbers / Constructible universe / Ordinal analysis / Consistency / Forcing / Proof theory / Mathematical logic / Logic Mathematics / Z notation / Zermelo–Fraenkel set theory / Ordinal numbers / Constructible universe / Ordinal analysis / Consistency / Forcing / Proof theory / Mathematical logic / Logic](https://www.pdfsearch.io/img/f80b7223d60642b0ac3916526bda27f0.jpg) Date: 2014-05-19 14:37:06Mathematics Z notation Zermelo–Fraenkel set theory Ordinal numbers Constructible universe Ordinal analysis Consistency Forcing Proof theory Mathematical logic Logic | | An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRIAdd to Reading ListSource URL: intelligence.orgDownload Document from Source Website File Size: 189,12 KBShare Document on Facebook
|