# Tagged Questions

The large-cardinals tag has no usage guidance.

**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

338 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

600 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

419 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

718 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 ...

**19**

votes

**2**answers

3k 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 ...

**4**

votes

**1**answer

500 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 ...

**17**

votes

**1**answer

742 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. ...