Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.00174 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911768807211008 |
|---|---|
| author | Jockwich, Santiago Tarafder, Sourav Venturi, Giorgio |
| author_facet | Jockwich, Santiago Tarafder, Sourav Venturi, Giorgio |
| contents | In this paper, we unify the study of classical and non-classical algebra-valued models of set theory, by studying variations of the interpretation functions for identity and set-membership. Although, these variations coincide with the standard interpretation in Boolean-valued constructions, nonetheless they extend the scope of validity of ZF to new algebra-valued models. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_00174 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Interpretations of ZF Jockwich, Santiago Tarafder, Sourav Venturi, Giorgio Logic In this paper, we unify the study of classical and non-classical algebra-valued models of set theory, by studying variations of the interpretation functions for identity and set-membership. Although, these variations coincide with the standard interpretation in Boolean-valued constructions, nonetheless they extend the scope of validity of ZF to new algebra-valued models. |
| title | Interpretations of ZF |
| topic | Logic |
| url | https://arxiv.org/abs/2402.00174 |