| Full text | |
| Author(s): |
Tarafder, Sourav
;
Venturi, Giorgio
Total Authors: 2
|
| Document type: | Journal article |
| Source: | Review of Symbolic Logic; v. N/A, p. 32-pg., 2021-03-22. |
| Abstract | |
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) | |
| 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 |