Relationships between Principles of Choice in Second-Order Henkin Structures
| Autor: | Gaßner, Christine |
|---|---|
| Rok vydání: | 2024 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | We deal with the strength of classical second-order versions of the Axiom of Choice (AC) in second-order predicate logic (PLII) with Henkin interpretation (HPL). We use the known relationships between the so-called Zermelo-Asser axioms and the so-called Russell-Asser axioms and prove relationships between the so-called Ackermann axioms and the Zermelo-Asser axioms and between the so-called Asser axioms and the Zermelo-Asser axioms. In particular, we give the technical details of the proofs of our results presented at the DMV Annual Meeting 2022. Comment: 20 pages |
| Databáze: | arXiv |
| Externí odkaz: |
|