Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
A note on the axiom of choice in an iterative paraconsistent set theory. |
| Συγγραφείς: |
Jockwich, Santiago1 (AUTHOR), Tarafder, Sourav2 (AUTHOR), Venturi, Giorgio3 (AUTHOR) |
| Πηγή: |
Logic Journal of the IGPL. Jun2026, Vol. 34 Issue 3, p1-13. 13p. |
| Θεματικοί όροι: |
Axiomatic set theory, Axioms, Set theory, Intuitionistic mathematics |
| Περίληψη: |
This paper advances the study of so-called "iterative" paraconsistent set theories. Unlike a naive set theory, which validates both Unrestricted Comprehension and Extensionality, an iterative paraconsistent set theory uphold the axioms of Zermelo–Fraenkel set theory. The principal advantage of the iterative approach is that it yields set theories that are highly mathematically expressive. It has recently been conjectured that the mathematical expressiveness of certain iterative paraconsistent set theories may even rival that of classical set theory. However, until now the status of the Axiom of Choice in this setting has remained open. We show that iterative paraconsistent set theories are compatible with the Axiom of Choice. Finally, in the conclusion, we contrast this result with the failure of Choice in the intuitionistic setting. [ABSTRACT FROM AUTHOR] |
|
Copyright of Logic Journal of the IGPL is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Business Source Index |