Sourav Tarafder

According to our database, Sourav Tarafder authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

ZF and its interpretations.

Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi

Ann. Pure Appl. Log., 2024

2023

Independence Proofs in non-Classical Set Theories.

Sourav Tarafder, Giorgio Venturi

Rev. Symb. Log., December, 2023

2022

$\mathrm {ZF}$ Between Classicality and Non-classicality.

Sourav Tarafder, Giorgio Venturi

Stud Logica, 2022

Non-Classical Foundations of Set Theory.

Sourav Tarafder

J. Symb. Log., 2022

Ideal Objects for Set Theory.

Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi

J. Philos. Log., 2022

2019

Non-Classical Set Theories and Logics Associated With Them.

Sourav Tarafder

Bull. Symb. Log., 2019

2015

Generalized Algebra-Valued Models of Set Theory.

Benedikt Löwe, Sourav Tarafder

Rev. Symb. Log., 2015

Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory.

Sourav Tarafder

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015