| Texto completo | |
| Autor(es): |
Tarafder, Sourav
;
Venturi, Giorgio
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | Review of Symbolic Logic; v. N/A, p. 32-pg., 2021-03-22. |
| Resumo | |
In this paper we extend to non-classical set theories the standard strategy of proving independence using Boolean-valued models. This extension is provided by means of a new technique that, combining algebras (by taking their product), is able to provide product-algebra-valued models of set theories. In this paper we also provide applications of this new technique by showing that: (1) we can import the classical independence results to non-classical set theory (as an example we prove the independence of CH); and (2) we can provide new independence results. We end by discussing the role of non-classical algebra-valued models for the debate between universists and multiversists and by arguing that non-classical models should be included as legitimate members of the multiverse. (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 |