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 - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Currency pence / / IndustryTerm theses systems / / Person Jacob Hilton / Paul Christiano / Gq / Benja Fallenstein / Eliezer Yudkowsky / / ProvinceOrState Pennsylvania / / SocialTag Mathematics Z notation Zermelo–Fraenkel set theory Ordinal numbers Constructible universe Ordinal analysis Consistency Forcing Proof theory Mathematical 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 List