Busca avançada
Ano de início
Entree
Conteúdo relacionado
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

ZF Between Classicality and Non-classicality

Texto completo
Autor(es):
Tarafder, Sourav [1, 2] ; Venturi, Giorgio [2]
Número total de Autores: 2
Afiliação do(s) autor(es):
[1] St Xaviers Coll, 30 Mother Teresa Sarani, Kolkata 700016, W Bengal - India
[2] Univ Campinas UNICAMP, IFCH, BR-13083896 Barao Geraldo, SP - Brazil
Número total de Afiliações: 2
Tipo de documento: Artigo Científico
Fonte: STUDIA LOGICA; v. 110, n. 1 AUG 2021.
Citações Web of Science: 2
Resumo

We present a generalization of the algebra-valued models of ZF where the axioms of set theory are not necessarily mapped to the top element of an algebra, but may get intermediate values, in a set of designated values. Under this generalization there are many algebras which are neither Boolean, nor Heyting, but that still validate ZF. (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