Year: 2024
Type: preprint
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.
Source: arXiv (Cornell University)
Author: Gaßner, Christine
Institution: Universität Greifswald
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4403853644