Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Recurso digital |
| Lingua: | |
| Pubblicazione: |
Zenodo
2025
|
| Accesso online: | https://doi.org/10.5281/zenodo.17845724 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Sommario:
- <p>This paper presents a comparative theoretical analysis of several weak forms of the Axiom of Choice (AC) and<br>their logical consequences within the framework of Zermelo–Fraenkel Set Theory (ZF). While the full Axiom of<br>Choice ensures the existence of a global choice function for all families of nonempty sets, weaker variants such<br>as the Axiom of Countable Choice, the Axiom of Dependent Choice, and the Boolean Prime Ideal Theorem<br>capture limited but significant forms of selection. Through model-theoretic and proof-theoretic examinations,<br>this study highlights the relative strength, independence, and interrelations among these axioms. The findings<br>affirm that while these principles are equivalent in ZFC, their logical independence in ZF reveals an order of<br>choice principles. This comparative analysis deepens understanding of how restricted forms of choice operate<br>and clarifies the structural role of AC in modern set-theoretic foundations.</p>