Permutation Models of Second Order
Logic
2024-10-04 v2
Abstract
G\"unter 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.
Cite
@article{arxiv.2409.14211,
title = {Permutation Models of Second Order},
author = {Christine Gaßner},
journal= {arXiv preprint arXiv:2409.14211},
year = {2024}
}
Comments
20 pages. arXiv admin note: text overlap with arXiv:2409.10276