Interpretations of ZF
Logic
2024-02-02 v1
Abstract
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.
Cite
@article{arxiv.2402.00174,
title = {Interpretations of ZF},
author = {Santiago Jockwich and Sourav Tarafder and Giorgio Venturi},
journal= {arXiv preprint arXiv:2402.00174},
year = {2024}
}