Relationships between Principles of Choice in Second-Order Henkin Structures
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909319876837376 |
|---|---|
| author | Gaßner, Christine |
| author_facet | Gaßner, Christine |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_12868 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Relationships between Principles of Choice in Second-Order Henkin Structures Gaßner, Christine Logic 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. |
| title | Relationships between Principles of Choice in Second-Order Henkin Structures |
| topic | Logic |
| url | https://arxiv.org/abs/2409.12868 |