Back to Results
First PageMeta Content
Mathematics / 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 MIRI
Add to Reading List

Document Date: 2014-05-19 14:37:06


Open Document

File Size: 189,12 KB

Share Result on Facebook
UPDATE