Relationships between Principles of Choice in Second-Order Henkin Structures

2024/09/19 by Christine Gaßner, Gaßner, Christine
Business, Management and Accounting · Engineering · #Product Development and Customization #Intermetallics and Advanced Alloy Properties #Metal Forming Simulation Techniques

paper · pdf · doi:10.48550/arxiv.2409.12868

Abstract

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.

Related

• AC and the Independence of WO in Second-Order Henkin Logic, Part II
• AC and the Independence of WO in Second-Order Henkin Logic, Part I
• Permutation Models of Second Order
• AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
• Formalization of the Axiom of Choice and its Equivalent Theorems