The large-cardinals tag has no wiki summary.

**1**

vote

**3**answers

368 views

### Normal measures and Elementary Embeddings

This is a question from Jech's Set Theory (Ex. 17.12) which I'm reading at the moment and pretty much stuck on.
If $D$ is a normal measure on $\kappa$
and $\{ \aleph_\alpha \colon
> ...

**3**

votes

**1**answer

456 views

### Question about John Steel's “The derived model theorem”

In John Steel's paper "The derived model theorem",
http://math.berkeley.edu/~steel/papers/dm.ps
John Steel asserts that it is clear that $\mathrm{Hom}^{Y}_{\kappa}$ is closed downward under ...

**5**

votes

**2**answers

562 views

### Vopenka's Principle at Small Cardinals

I'm trying to understand Vopěnka's Principle, which is a large cardinal axiom. One version of the principle is that there does not exist a proper class of directed graphs such that there are no ...

**9**

votes

**2**answers

1k views

### Large cardinals

Looking at the chart of cardinals in Kanamori's book, one realizes that all large cardinals are implied by stronger ones and imply weaker ones. For instance measurable implies Jonsson which implies ...

**7**

votes

**5**answers

750 views

### Measurable cardinals under Axiom of Determinacy

I seem to remember reading somewhere that ZF+AD proves that omega-1 and omega-2 are measurable cardinals.
Is that right?
If so, can someone [point me to or give here] a [sketch or proof] of these ...

**6**

votes

**3**answers

737 views

### Tractability of forcing-invariant statements under large cardinals

It is usual to mention theorems of the kind:
Th. Assume there is a proper class of Woodin cardinals, $\mathbb{P} $ is a partial order and $G \subseteq \mathbb{P}$ is V-generic, then $V \models \phi ...

**18**

votes

**6**answers

2k views

### Reasons to believe Vopenka's principle/huge cardinals are consistent

There are a number of informal heuristic arguments for the consistency of ZFC, enough that I am happy enough to believe that ZFC is consistent. This is true for even some of the more tame large ...

**15**

votes

**3**answers

1k views

### Any paradoxical theorems arising from large cardinal axioms?

If we accept the axiom of choice, we take the responsibility of living in a world in which, e.g., a ball in Euclidean 3-space is equiscindable to two isometric copies of itself (Banach-Tarski). So we ...

**5**

votes

**1**answer

305 views

### The closure of a generic ultrapower

Let $I$ be a normal ideal on $P_{\kappa} (\lambda)$. Let $V$ denote our ground model. Now we force with the $I$-positive sets, and if $G$ is the resulting generic filter, it can be shown that $G$ is a ...

**3**

votes

**1**answer

466 views

### A question about supercompact cardinal numbers

Is it possible to tell if a cardinal number C is supercompact by looking only
at the properties of subsets of C and paying no attention to sets whose cardinal numbers are greater than C? This can ...

**7**

votes

**1**answer

397 views

### A question on ultrapower

Suppose $\kappa_0$ is a measurable cardinal and $\mu_0$ is a normal measure on $\kappa_0$. $M_1$ is the transitive collapse of $Ult(V,\mu_0)$, $j_{0,1}:V\rightarrow{M_1}$ is the elementary embedding ...

**8**

votes

**2**answers

685 views

### Model of ZF + $\neg$C in which Solovay's Theorem on stationary sets fails?

It is a theorem of Solovay that any stationary subset of a regular cardinal, $\kappa$ can be decomposed into a disjoint union of $\kappa$ many disjoint stationary sets. As far as I know, the proof ...

**15**

votes

**2**answers

2k views

### Large cardinal axioms and Grothendieck universes

A cardinal $\lambda$ is weakly inaccessible, iff a. it is regular (i.e. a set of cardinality $\lambda$ can't be represented as a union of sets of cardinality $<\lambda$ indexed by a set of ...

**3**

votes

**1**answer

414 views

### What notions of universe does predicative type theory admit?

Palmgren (1997), On universes in type theory, discusses work of several theorists that provide what we might call a family of Large Universe Axioms (LUAs) for predicative type theory, culminating in ...

**16**

votes

**1**answer

695 views

### Logical endofunctors of Set?

What set-theoretic assumptions are necessary and sufficient to ensure the existence of a nontrivial (i.e. not isomorphic to the identity) endofunctor of the category Set which is logical (i.e. ...