| Full text | |
| Author(s): |
Total Authors: 2
|
| Affiliation: | [1] Univ Campinas UNICAMP, Barao Geraldo, SP - Brazil
Total Affiliations: 1
|
| Document type: | Journal article |
| Source: | STUDIA LOGICA; v. 109, n. 3 JUL 2020. |
| Web of Science Citations: | 0 |
| Abstract | |
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) | |
| FAPESP's process: | 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable |
| Grantee: | Giorgio Venturi |
| Support Opportunities: | Research Grants - Young Investigators Grants |
| FAPESP's process: | 17/23853-0 - Arbitrariness and definability in the context of non-classical logics |
| Grantee: | Daniel Santiago Jockwich Martinez |
| Support Opportunities: | Scholarships in Brazil - Doctorate (Direct) |