AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
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_ | 1866913568104906752 |
|---|---|
| author | Gaßner, Christine |
| author_facet | Gaßner, Christine |
| contents | This paper focuses on the set HAC of 1-1 Ackermann axioms of choice in second-order predicate logic with Henkin interpretation (HPL). To answer a question posed by Michael Rathjen, we restrict the proof that the basic Fraenkel model of second order is a model of all n-m Ackermann axioms to the case where the Ackermann axioms are in HAC. In the second part, we show the independence of Hartogs' version of the law of trichotomy (TR) from HAC in HPL. A generalization of the latter proof implies the independence of TR from all Ackermann axioms in HPL. We conclude the paper with an open problem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_23276 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic Gaßner, Christine Logic This paper focuses on the set HAC of 1-1 Ackermann axioms of choice in second-order predicate logic with Henkin interpretation (HPL). To answer a question posed by Michael Rathjen, we restrict the proof that the basic Fraenkel model of second order is a model of all n-m Ackermann axioms to the case where the Ackermann axioms are in HAC. In the second part, we show the independence of Hartogs' version of the law of trichotomy (TR) from HAC in HPL. A generalization of the latter proof implies the independence of TR from all Ackermann axioms in HPL. We conclude the paper with an open problem. |
| title | AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic |
| topic | Logic |
| url | https://arxiv.org/abs/2410.23276 |