ZF Between Classicality and Non-classicality

Tarafder, Sourav; Venturi, Giorgio

Advanced search

Search - Use quotation marks to get a more specific result

Index

Field of knowledge

Start date

Betweenand

(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

Short URL