An inner model is a transitive proper class substructure of the universe of sets, that satisfies $\mathsf{ZF}(\mathsf{C})$.

learn more… | top users | synonyms

3
votes
1answer
103 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$ ...
5
votes
1answer
196 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
0answers
252 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 ...
6
votes
1answer
200 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
1answer
178 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 ‎the‎n the corresponding inner model produced by ...
5
votes
2answers
224 views

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

Definition (1): A‎n‎‎ ‎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
1answer
283 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 ...