Cardinal Well-foundedness and Choice
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911757915652096 |
|---|---|
| author | Blass, Andreas Kulshreshtha, Dhruv |
| author_facet | Blass, Andreas Kulshreshtha, Dhruv |
| contents | We consider several notions of well-foundedness of cardinals in the absence of the Axiom of Choice. Some of these have been conflated by some authors, but we separate them carefully. We then consider implications among these, and also between these and other consequences of Choice. For instance, we show that the Partition Principle implies that all of our versions of well-foundedness are equivalent. We also show that one version, concerning surjections, implies the Dual Cantor-Schröder-Bernstein theorem. It has been conjectured that well-foundedness, in one form or another, actually implies the Axiom of Choice, but this conjecture remains unresolved. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_09643 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Cardinal Well-foundedness and Choice Blass, Andreas Kulshreshtha, Dhruv Logic 03E25 We consider several notions of well-foundedness of cardinals in the absence of the Axiom of Choice. Some of these have been conflated by some authors, but we separate them carefully. We then consider implications among these, and also between these and other consequences of Choice. For instance, we show that the Partition Principle implies that all of our versions of well-foundedness are equivalent. We also show that one version, concerning surjections, implies the Dual Cantor-Schröder-Bernstein theorem. It has been conjectured that well-foundedness, in one form or another, actually implies the Axiom of Choice, but this conjecture remains unresolved. |
| title | Cardinal Well-foundedness and Choice |
| topic | Logic 03E25 |
| url | https://arxiv.org/abs/2310.09643 |