Sourav Tarafder

MaRDI QIDQ2046360zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A note on the axiom of choice in an iterative paraconsistent set theory Logic Journal of the IGPL	2026-06-02	Paper
Basic mathematics beyond classicality	2026-04-27	Paper
Transcending classical boundaries: choice and its equivalences Annals of Pure and Applied Logic	2026-04-15	Paper
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES The Review of Symbolic Logic	2024-01-11	Paper
Ideal objects for set theory Journal of Philosophical Logic	2022-06-01	Paper
NON-CLASSICAL FOUNDATIONS OF SET THEORY Journal of Symbolic Logic	2022-04-12	Paper
ZF between classicality and non-classicality Studia Logica	2022-03-15	Paper
Constructing illoyal algebra-valued models of set theory Algebra Universalis	2021-08-17	Paper
A paraconsistent logic obtained from an algebra-valued model of set theory Springer Proceedings in Mathematics & Statistics	2019-10-31	Paper
Generalized algebra-valued models of set theory The Review of Symbolic Logic	2015-04-24	Paper
Ordinals in an algebra-valued model of a paraconsistent set theory Logic and Its Applications	2015-01-09	Paper
Interpretations of ZF (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Sourav Tarafder