5 papers
AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
Christine GaÃner
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,…
AC and the Independence of WO in Second-Order Henkin Logic, Part II
Christine GaÃner
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…
AC and the Independence of WO in Second-Order Henkin Logic, Part I
Christine GaÃner
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…
Permutation Models of Second Order
Christine GaÃner
Günter Asser (1981) introduced second-order permutation models. In this way, the Fraenkel-Mostowski-Specker method for defining models of ZFA was transferred to a new application…
Relationships between Principles of Choice in Second-Order Henkin Structures
Christine GaÃner
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 r…