Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory. - Sourav Tarafder (ICLA, 2015)

Generalized Algebra-Valued Models of Set Theory. - Benedikt Löwe; Sourav Tarafder (Rev. Symb. Log., 2015)

Non-Classical Set Theories and Logics Associated With Them. - Sourav Tarafder (Bull. Symb. Log., 2019)

Ideal Objects for Set Theory. - Santiago Jockwich Martinez; Sourav Tarafder; Giorgio Venturi (J. Philos. Log., 2022)

Non-Classical Foundations of Set Theory. - Sourav Tarafder (J. Symb. Log., 2022)

$ mathrm {ZF}$ Between Classicality and Non-classicality. - Sourav Tarafder; Giorgio Venturi (Stud Logica, 2022)

Independence Proofs in non-Classical Set Theories. - Sourav Tarafder; Giorgio Venturi (Rev. Symb. Log., 2023)

ZF and its interpretations. - Santiago Jockwich Martinez; Sourav Tarafder; Giorgio Venturi (Ann. Pure Appl. Log., 2024)