Advanced search
Start date
Betweenand
Related content
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

ZF Between Classicality and Non-classicality

Full text
Author(s):
Tarafder, Sourav [1, 2] ; Venturi, Giorgio [2]
Total Authors: 2
Affiliation:
[1] St Xaviers Coll, 30 Mother Teresa Sarani, Kolkata 700016, W Bengal - India
[2] Univ Campinas UNICAMP, IFCH, BR-13083896 Barao Geraldo, SP - Brazil
Total Affiliations: 2
Document type: Journal article
Source: STUDIA LOGICA; v. 110, n. 1 AUG 2021.
Web of Science Citations: 2
Abstract

We present a generalization of the algebra-valued models of ZF where the axioms of set theory are not necessarily mapped to the top element of an algebra, but may get intermediate values, in a set of designated values. Under this generalization there are many algebras which are neither Boolean, nor Heyting, but that still validate 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: 19/12527-0 - Algebra-valued models of non-classical set theories
Grantee:Giorgio Venturi
Support Opportunities: Research Grants - Visiting Researcher Grant - International