I use generic embeddings induced by generic normal measures on that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be applied in order to obtain the forcing axioms in forcing extensions. This has consequences in : The Singular Cardinal Hypothesis holds above κ, and κ has a useful Jónsson-like property. This in turn implies that the countable tower works much like it does when κ is a Woodin limit of Woodin cardinals. One (...) consequence is that every set of reals in the Chang model is Lebesgue measurable and has the Baire Property, the Perfect Set Property and the Ramsey Property. So indestructible weak compactness has effects on cardinal arithmetic high up and also on the structure of sets of real numbers, down low, similar to supercompactness. (shrink)

Using work of Devlin and Schindler in conjunction with work on Prikry forcing in a choiceless context done by the author, we show that two choiceless cardinal patterns have consistency strength of at least one Woodin cardinal.

We construct two models in which the least strongly compact cardinal κ is also the least strong cardinal. In each of these models, κ satisfies indestructibility properties for both its strong compactness and strongness.

A question of Foreman and Magidor asks if it is consistent for every sequence of stationary subsets of the ℵ n ’s for 1≤n<ω to be mutually stationary. We get a positive answer to this question in the context of the negation of the Axiom of Choice. We also indicate how a positive answer to a generalized version of this question in a choiceless context may be obtained.

Suppose that κ is indestructibly supercompact and there is a measurable cardinal λ > κ. It then follows that A1 = {δ < κ∣δ is measurable, δ is not a limit of measurable cardinals, and δ is not δ+ supercompact} is unbounded in κ. If in addition λ is 2λ supercompact, then A2 = {δ < κ∣δ is measurable, δ is not a limit of measurable cardinals, and δ is δ+ supercompact} is unbounded in κ as well. The large cardinal (...) hypotheses on λ are necessary, as we further demonstrate by constructing via forcing two distinct models in which either equation image or equation image. In each of these models, there is an indestructibly supercompact cardinal κ, and a restricted large cardinal structure above κ. If we weaken the indestructibility requirement on κ to indestructibility under partial orderings which are both κ-directed closed and -distributive, then it is possible to construct a model containing a supercompact cardinal κ witnessing this degree of indestructibility in which every measurable cardinal δ < κ is δ+ supercompact. (shrink)