Non-classical Models of ZF

Autor(es)

Jockwich Martinez, S. ^[1] ; Venturi, G. ^[1]

Afiliação do(s) autor(es)

^[1] Univ Campinas UNICAMP, Barao Geraldo, SP - Brazil

• Tipo de documento: Artigo Científico
• Fonte: STUDIA LOGICA; v. 109, n. 3 JUL 2020.
• Citações Web of Science: 0

Resumo

This paper contributes to the generalization of lattice-valued models of set theory to non-classical contexts. First, we show that there are infinitely many complete bounded distributive lattices, which are neither Boolean nor Heyting algebra, but are able to validate the negation-free fragment of ZF. Then, we build lattice-valued models of full ZF, whose internal logic is weaker than intuitionistic logic. We conclude by using these models to give an independence proof of the Foundation axiom from 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: 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