| Texto completo | |
| Autor(es): |
Martinez, S. Jockwich
;
Tarafder, S.
;
Venturi, G.
Número total de Autores: 3
|
| Tipo de documento: | Artigo Científico |
| Fonte: | ANNALS OF PURE AND APPLIED LOGIC; v. 175, n. 6, p. 38-pg., 2024-03-20. |
| Resumo | |
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 = and is an element of. 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. This paper presents, for the first time, non -trivial paraconsistent models of full ZF. Moreover, due to the validity of Leibniz's law in these structures, we will show how to construct proper models of set theory by quotienting these algebra -valued models with respect to equality, modulo the filter of the designated truth -values. (c) 2024 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/). (AU) | |
| Processo FAPESP: | 16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível |
| Beneficiário: | Giorgio Venturi |
| Modalidade de apoio: | Auxílio à Pesquisa - Jovens Pesquisadores |
| Processo FAPESP: | 19/12527-0 - Modelos a valores algébricos para teorias de conjuntos não clássicas |
| Beneficiário: | Giorgio Venturi |
| Modalidade de apoio: | Auxílio à Pesquisa - Pesquisador Visitante - Internacional |
| Processo FAPESP: | 17/23853-0 - Arbitrariedade e definibilidade em lógicas não-clássicas |
| Beneficiário: | Daniel Santiago Jockwich Martinez |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado Direto |