2013/01/20 by Farmer Schlutzenberg, Schlutzenberg, Farmer
Computer Science · Mathematics · #03E15 #03E45 #03E55 #Advanced Banach Space Theory #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03E15 #msc:03E45 #msc:03E55
paper · pdf · doi:10.48550/arxiv.1301.4702
Ph.D. dissertation. 71 pages
arxiv created 2013/01/20 · openalex publication_date 2013/01/20 · arxiv updated 2013/01/22 · openalex created_date 2024/04/10 · openalex updated_date 2026/07/28
This thesis analyses extenders in fine structural mice. Kunen showed that in the inner model for one measurable cardinal, there is a unique measure. This result is generalized, in various ways, to mice below a superstrong cardinal. The analysis is then used to show that certain tame mice satisfy V=HOD. In particular, the approach proides a new proof of this result for the inner model Mn for n Woodin cardinals. It is also shown that in Mn, all homogeneously Suslin sets of reals are \mathbfΔ1n+1.