Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with embeddings
Search options answers only
not deleted
user 160347
10
votes
Accepted
Can we have mutual elementary embeddability between distinct transitive sets?
There are examples of this where $M,N$ are also models of ZFC, in the following paper, which is joint with Monroe Eskew, Sy Friedman and Yair Hayut: https://arxiv.org/abs/2108.12355
Thus, you certainl …
- 9,902
7
votes
Accepted
Can there exist such a sequence of elementary embeddings of the universe to itself?
It was pointed out by Monroe that if $\lambda$ is a limit and $j:V_\lambda\to V_\lambda$ is elementary and $j_n$ is the $n$th iterate, i.e. $j_0=j$ and $j_{n+1}=j_n(j_n)$, and $\kappa_n=\mathrm{crit}( …
- 9,902
4
votes
Accepted
Is this sequence of embeddings possible?
Work in ZF+AC$_\omega$. Suppose $V_\theta$ is inaccessible. Suppose $j,k:V_{\theta+1}\to V_{\theta+1}$ are elementary and $\mathrm{crit}(j)=\mathrm{crit}(k)=\kappa$ and $\kappa_\omega(j)<k(\kappa)$. H …
- 9,902