Permutation Models of Second Order

2024/09/21 by Gaßner, Christine
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2409.14211

Abstract

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 area. To investigate the strength of second-order principles of choice in second-order predicate logic (PLII) with Henkin interpretation (HPL), we have extended the Fraenkel-Mostowski-Specker-Asser method. Here we discuss many details, including some useful references. Finally, we address a question raised by Stephen Mackereth.

Related

• Relationships between Principles of Choice in Second-Order Henkin Structures
• AC and the Independence of WO in Second-Order Henkin Logic, Part I
• AC and the Independence of WO in Second-Order Henkin Logic, Part II
• AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
• Model theory of second order logic