نتایج جستجو برای: supercompact
تعداد نتایج: 230 فیلتر نتایج به سال:
We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally supercompact. We then apply this theorem to show that the hypothesis of supercompactness is necessary for certain proof schemata.
We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with a strong form of diamond and a version of square consistent with supercompactness. This generalises a result due to the first author. There are no restrictions in our model on the structure of the class of supercompact cardinals.
This paper explores several topics related to Woodin’s HOD conjecture. We improve the large cardinal hypothesis of dichotomy theorem from an extendible a strongly compact cardinal. show that assuming there is and holds, no elementary embedding HOD, settling question Woodin. equivalent uniqueness property embeddings levels cumulative hierarchy. prove holds if only every regular above first carri...
Building on the work of Schimmerling ([8]) and Steel ([14]), we show that the failure of square principle at a singular strong limit cardinal implies that there is a non-tame mouse. The proof presented is the first inductive step beyond L(R) of the core model induction that is aimed at getting a model of ADR + “Θ is regular” from the failure of square at a singular strong limit cardinal or PFA....
We prove the consistency (modulo supercompact) of a negative answer to the Cantor discontinuum partition problem (i.e., some Hausdorff compact space cannot be partitioned to two sets not containing a closed copy of Cantor discontinuum). In this model we have CH. Without CH we get consistency results using a pcf assumption, close relatives of which are necessary for such results; so we try to de...
We show that every compact connected group is the limit of a continuous inverse sequence, in the category of compact groups, where each successor bonding map is either an epimorphism with finite kernel or the projection from a product by a simple compact Lie group. As an application, we present a proof of an unpublished result of Charles Mills from 1978: every compact group is supercompact. MSC...
Given a supercompact cardinal κ and a regular cardinal λ < κ, we describe a type of forcing such that in the generic extension the cofinality of κ is λ, there is a very good scale at κ, a bad scale at κ, and SCH at κ fails. When creating our model we have great freedom in assigning the value of 2, and so we can make SCH hold or fail arbitrarily
We provide a model where u(κ) < 2κ for a supercompact cardinal κ. [10] provides a sketch of how to obtain such a model by modifying the construction in [6]. We provide here a complete proof using a different modification of [6] and further study the values of other natural generalizations of classical cardinal characteristics in our model. For this purpose we generalize some standard facts that...
We develop a new method for coding sets while preserving gch in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carried by a measurable cardinal as an oracle, and therefore, in order to code a subset A of κ, we require that our model contain κ many measurable cardinals above κ. Additionally we will describe some of the applications...
Suppose κ is λ-supercompact witnessed by an elementary embedding j : V →M with critical point κ, and further suppose that F is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton’s theorem: (1) ∀α α < cf(F (α)) and (2) α < β =⇒ F (α) ≤ F (β). In this article we address the question: assuming GCH, what additional assumptions are necessar...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید