Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2505.00637 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908344732614656 |
|---|---|
| author | Mohammd, Marwan Salam |
| author_facet | Mohammd, Marwan Salam |
| contents | We prove a result concerning elementary embeddings of the set-theoretic universe into itself (Reinhardt embeddings) and functions on ordinals that "eventually dominate" such embeddings. We apply that result to show the existence of elementary embeddings satisfying some strict conditions and that are also reminiscent of extendibility in a more local setting. Building further on these concepts, we make precise the nature of some large cardinals whose existence under Reinhardt embeddings was proven by Gabriel Goldberg in his paper "Measurable Cardinals and Choiceless Axioms." Finally, these ideas are used to present another proof of the Kunen inconsistency. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_00637 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Reinhardt Cardinals and Eventually Dominating Functions Mohammd, Marwan Salam Logic We prove a result concerning elementary embeddings of the set-theoretic universe into itself (Reinhardt embeddings) and functions on ordinals that "eventually dominate" such embeddings. We apply that result to show the existence of elementary embeddings satisfying some strict conditions and that are also reminiscent of extendibility in a more local setting. Building further on these concepts, we make precise the nature of some large cardinals whose existence under Reinhardt embeddings was proven by Gabriel Goldberg in his paper "Measurable Cardinals and Choiceless Axioms." Finally, these ideas are used to present another proof of the Kunen inconsistency. |
| title | Reinhardt Cardinals and Eventually Dominating Functions |
| topic | Logic |
| url | https://arxiv.org/abs/2505.00637 |