Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2505.00633 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909598354505728 |
|---|---|
| author | Mohammd, Marwan Salam |
| author_facet | Mohammd, Marwan Salam |
| contents | We present a method for producing elementary embeddings from homomorphisms. This method is utilized in the study of the "strongly rigid relation principle" as defined by Hamkins and Palumbo in their paper "The Rigid Relation Principle, a New Weak Choice Principle." We establish that the strongly rigid relation principle is also a weak choice principle that is independent of ZF. Finally, we characterize proto Berkeley cardinals in terms of a strong failure of the strongly rigid relation principle. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_00633 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Strong Rigidity and Elementary Embeddings Mohammd, Marwan Salam Logic We present a method for producing elementary embeddings from homomorphisms. This method is utilized in the study of the "strongly rigid relation principle" as defined by Hamkins and Palumbo in their paper "The Rigid Relation Principle, a New Weak Choice Principle." We establish that the strongly rigid relation principle is also a weak choice principle that is independent of ZF. Finally, we characterize proto Berkeley cardinals in terms of a strong failure of the strongly rigid relation principle. |
| title | Strong Rigidity and Elementary Embeddings |
| topic | Logic |
| url | https://arxiv.org/abs/2505.00633 |