Sourav Tarafder

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

First Order Logic

Algebraic Geometry

Top Venues

Rev. Symb. Log.

Bull. Symb. Log.

Ann. Pure Appl. Log.

Publications

Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi
ZF and its interpretations. Ann. Pure Appl. Log. 175 (6) (2024)
Sourav Tarafder, Giorgio Venturi
Independence Proofs in non-Classical Set Theories. Rev. Symb. Log. 16 (4) (2023)
Sourav Tarafder
Non-Classical Foundations of Set Theory. J. Symb. Log. 87 (1) (2022)
Sourav Tarafder, Giorgio Venturi
$\mathrm {ZF}$ Between Classicality and Non-classicality. Stud Logica 110 (1) (2022)
Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi
Ideal Objects for Set Theory. J. Philos. Log. 51 (3) (2022)
Sourav Tarafder
Non-Classical Set Theories and Logics Associated With Them. Bull. Symb. Log. 25 (4) (2019)
Benedikt Löwe, Sourav Tarafder
Generalized Algebra-Valued Models of Set Theory. Rev. Symb. Log. 8 (1) (2015)
Sourav Tarafder
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory. ICLA (2015)