Permutation Models of Second Order
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910628068720640 |
|---|---|
| author | Gaßner, Christine |
| author_facet | Gaßner, Christine |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_14211 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Permutation Models of Second Order Gaßner, Christine Logic 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. |
| title | Permutation Models of Second Order |
| topic | Logic |
| url | https://arxiv.org/abs/2409.14211 |