|
|||||
|
|
$$mathrm {ZF}$$ ZF Between Classicality and Non-classicality |
|
| Authors: | Tarafder Sourav Venturi Giorgio |
| Affiliation: | 1.St. Xavier’s College, 30 Mother Teresa Sarani, Kolkata, West Bengal, 700016, India ;2.University of Campinas (UNICAMP), IFCH, Barão Geraldo, SP, 13083-896, Brazil ; |
| Abstract: | Studia Logica - We present a generalization of the algebra-valued models of $$mathrm {ZF}$$ where the axioms of set theory are not necessarily mapped to the top element of an algebra, but may get... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |