Sourav Tarafder

According to our database, Sourav Tarafder authored at least 9 papers between 2015 and 2026.

Collaborative distances:

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

2026

Transcending classical boundaries: Choice and its equivalences.

Arunavo Ganguly, Sourav Tarafder

Ann. Pure Appl. Log., 2026

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