**8**

votes

**0**answers

179 views

### Inner models and strongly compact cardinals

The following question is motivated by a result of Magidor that it is consistent that the least strongly compact cardinal is the least measurable cardinal.
Question. Assume $\kappa$ is a strongly ...

**11**

votes

**1**answer

334 views

### Singular in $V$ regular in $HOD$

Prikry forcing can be used to produce a model $V$ of $ZFC$ such that fo rsome cardinal $\kappa$ we have:
(1) $\kappa$ is singular in $V$ of cofinality $\omega,$
(2) $\kappa$ is regular (and in fact ...

**7**

votes

**1**answer

365 views

### Can an ultrapower be undone by forcing?

I am not 100% certain this question is appropriate for MO; I may just be missing something obvious. Also, I vaguely recall a similar question being asked here a while ago, but I can't find it; if it ...

**7**

votes

**0**answers

151 views

### $V$ as a $HOD$ of its class generic extension

By an old result of Roguski, The theory of the class $HOD$, any model $V$ of $ZFC$ has a class generic extension $V[G]$ such that $HOD$ of $V[G]$ equals $V$.
This result is also stated and generalized ...

**1**

vote

**2**answers

142 views

### Precise interpretability strength of $\mathcal P_{DF}(\omega)$ and $L_{\omega_1^{CK}}$

I am curious about the relationship between the definable power set of $\omega$ and the $\omega_1^{CK}$th level of the constructible sets $L$.
In short, $\omega_1^{CK}$ is the least nonrecursive ...

**16**

votes

**1**answer

460 views

### Whatever happened to $L(j)$?

So this question probably shows my inner model theoretic ignorance, but:
In "Two remarks on elementary embeddings of the universe" (http://projecteuclid.org/download/pdf_1/euclid.pjm/1102969567), ...

**7**

votes

**1**answer

217 views

### Characterizing L(R) Cardinals in HOD

We're working in L(R) under AD.
We know that
$\omega_1$ is the least measurable in HOD, $\Theta$ is the least woodin, $\delta^2_1$ is the least strong to the woodin, etc.
My question is about ...

**3**

votes

**1**answer

130 views

### Classify set theories whose transitive models sharing the same sets of ordinals are equal

This question is a follow-up from my recent question, Classifying set theories whose standard models sharing the same ordinals are equal
Let's say that a (recursively axiomatizable) set theory $T$ ...

**6**

votes

**1**answer

600 views

### Existence of internal toposes/inner models in a topos

It has been known for some time that one can define a topos as a model of a (finitary) essentially algebraic theory (or in other words, can be defined internal to any category with finite limits). In ...

**9**

votes

**0**answers

293 views

### Reinhardt cardinals and iterability

Work in $ZF$. Let $j:V\to V$ be a non-trivial elementary embedding which is iterable, so that we can iterate it and form models $M_\alpha, \alpha\in ON,$ with $M_0=V,$ and elementary embeddings ...

**7**

votes

**1**answer

235 views

### Is the consistency of $\mathcal{L}_{\infty\omega}$-sentences absolute?

The question is exactly that of the title. Suppose $\varphi\in V$ is an $\mathcal{L}_{\infty\omega}$-sentence, and $W$ is an inner model of $V$ such that $\varphi\in W$. Is the statement
...

**3**

votes

**1**answer

187 views

### Do inner models of unique measurable cardinals have a regular behavior? (Edited and Revised Version)

We know that if $\kappa$ is a measurable cardinal and $\mu$ be a two-valued non-trivial$\kappa$-additive measure on it then the corresponding inner model produced by ...

**5**

votes

**2**answers

239 views

### Is there an inner model between two distinct inner models of ZFC?

Definition (1): An inner model of $ZFC$ is a tarnsitive proper class model of $ZFC$ which contains all ordinal numbers. Informally we denote the collection of all inner ...

**4**

votes

**1**answer

295 views

### Lattice of differences between ultrafilters

Consider two ultrafilters, $U$ and $V$, on the same cardinal $\kappa$. Let $D(U, V)=\lbrace X\subseteq \kappa: X\in U-V\rbrace$; clearly $D(U, V)$ is a lattice under $\subseteq, \cap, \cup $ since the ...