AC and the Independence of WO in Second-Order Henkin Logic, Part II
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917796037787648 |
|---|---|
| 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). Our discussion is restricted to so-called Henkin-Asser structures of second order. Here, we give the technical details of our proof of the independence of WO from the so-called Ackermann axioms in HPL presented at the Colloquium Logicum in 2022. Most of the definitions used here can be found in Sections 1, 2, and 3 of Part I. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_11126 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | AC and the Independence of WO in Second-Order Henkin Logic, Part II Gaßner, Christine Logic 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). Our discussion is restricted to so-called Henkin-Asser structures of second order. Here, we give the technical details of our proof of the independence of WO from the so-called Ackermann axioms in HPL presented at the Colloquium Logicum in 2022. Most of the definitions used here can be found in Sections 1, 2, and 3 of Part I. |
| title | AC and the Independence of WO in Second-Order Henkin Logic, Part II |
| topic | Logic |
| url | https://arxiv.org/abs/2409.11126 |