4 papers
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 a…
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…