AC and the Independence of WO in Second-Order Henkin Logic, Part I
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_ | 1866913528786452480 |
|---|---|
| author | Gaßner, Christine |
| author_facet | Gaßner, Christine |
| contents | This article is concerned with the Axiom of Choice (AC) and the well-ordering theorem (WO) in second-order predicate logic with Henkin interpretation (HPL). We consider a principle of choice introduced by Wilhelm Ackermann (1935) and discussed also by David Hilbert and Ackermann (1938), by Günter Asser (1981), and by Benjamin Siskind, Paolo Mancosu, and Stewart Shapiro (2020). The discussion is restricted to so-called Henkin-Asser structures of second order. The language used is a many-sorted first-order language with identity. In particular, we give some of the technical details for a proof of the independence of WO from the so-called Ackermann axioms in HPL presented at the Colloquium Logicum in 2022. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_10276 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | AC and the Independence of WO in Second-Order Henkin Logic, Part I Gaßner, Christine Logic 03-02, 03-B15 This article is concerned with the Axiom of Choice (AC) and the well-ordering theorem (WO) in second-order predicate logic with Henkin interpretation (HPL). We consider a principle of choice introduced by Wilhelm Ackermann (1935) and discussed also by David Hilbert and Ackermann (1938), by Günter Asser (1981), and by Benjamin Siskind, Paolo Mancosu, and Stewart Shapiro (2020). The discussion is restricted to so-called Henkin-Asser structures of second order. The language used is a many-sorted first-order language with identity. In particular, we give some of the technical details for a proof of the independence of WO from the so-called Ackermann axioms in HPL presented at the Colloquium Logicum in 2022. |
| title | AC and the Independence of WO in Second-Order Henkin Logic, Part I |
| topic | Logic 03-02, 03-B15 |
| url | https://arxiv.org/abs/2409.10276 |