Norman Lewis Perlmutter successfully defended his dissertation under my supervision and will earn his Ph.D. at the CUNY Graduate Center in May, 2013. His dissertation consists of two parts. The first chapter arose from the observation that while direct limits of large cardinal embeddings and other embeddings between models of set theory are pervasive in the subject, there is comparatively little study of inverse limits of systems of such embeddings. After such an inverse system had arisen in Norman’s joint work on Generalizations of the Kunen inconsistency, he mounted a thorough investigation of the fundamental theory of these inverse limits. In chapter two, he investigated the large cardinal hierarchy in the vicinity of the high-jump cardinals. During this investigation, he ended up refuting the existence of what are now called the excessively hypercompact cardinals, which had appeared in several published articles. Previous applications of that notion can be made with a weaker notion, what is now called a hypercompact cardinal.
web page | math genealogy | MathSciNet | ar$\chi$iv | related posts
Norman Lewis Perlmutter, “Inverse limits of models of set theory and the large cardinal hierarchy near a high-jump cardinal” Ph.D. dissertation for The Graduate Center of the City University of New York, May, 2013.
Abstract. This dissertation consists of two chapters, each of which investigates a topic in set theory, more specifically in the research area of forcing and large cardinals. The two chapters are independent of each other.
The first chapter analyzes the existence, structure, and preservation by forcing of inverse limits of inverse-directed systems in the category of elementary embeddings and models of set theory. Although direct limits of directed systems in this category are pervasive in the set-theoretic literature, the inverse limits in this same category have seen less study. I have made progress towards fully characterizing the existence and structure of these inverse limits. Some of the most important results are as follows. If the inverse limit exists, then it is given by either the entire thread class or a rank-initial segment of the thread class. Given sufficient large cardinal hypotheses, there are systems with no inverse limit, systems with inverse limit given by the entire thread class, and systems with inverse limit given by a proper subset of the thread class. Inverse limits are preserved in both directions by forcing under fairly general assumptions. Prikry forcing and iterated Prikry forcing are important techniques for constructing some of the examples in this chapter.
The second chapter analyzes the hierarchy of the large cardinals between a supercompact cardinal and an almost-huge cardinal, including in particular high-jump cardinals. I organize the large cardinals in this region by consistency strength and implicational strength. I also prove some results relating high-jump cardinals to forcing. A high-jump cardinal is the critical point of an elementary embedding $j: V \to M$ such that $M$ is closed under sequences of length $\sup\{\ j(f)(\kappa) \mid f: \kappa \to \kappa\ \}$. Two of the most important results in the chapter are as follows. A Vopenka cardinal is equivalent to an Woodin-for-supercompactness cardinal. The existence of an excessively hypercompact cardinal is inconsistent.