Gödel’s Second Incompleteness Theorem.

by Stephen G. Simpson

@MISC{Simpson_gödel’ssecond,
    author = {Stephen G. Simpson},
    title = {Gödel’s Second Incompleteness Theorem.},
    year = {}
}

Hilbert’s concern for consistency proofs led to

16	An extension of the recursively enumerable Turing degrees - Simpson - 2007
7	Extracting information is hard - Miller
4	Mass problems and intuitionism, Notre Dame - Simpson
3	Mass problems and measure-theoretic regularity, Bulletin of Symbolic Logic - Simpson
2	0 (α) ≤ LR z ⇐⇒ every Σ 0 α+2 set includes a Σ0,z set of the same measure. Moreover, letting bα = deg({z \| 0 (α) ≤ LR z}) we have inf(bα,1) ∈ Ew and inf(bα,1) < inf(b α+1,1). 19 ,1) 1 = deg (CPA) w k REC k k r k = d C = d s g C REC d inf(a,1) inf(b ,1) α+ - Theorem - 2009
1	Mass problems and initial segment complexity - Hudelson