First order logic without equality on relativized semantics. - Amitayu Banerjee; Mohamed Khaled (Ann. Pure Appl. Log., 2018)

Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse. - Amitayu Banerjee (Math. Log. Q., 2020)

Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. - Amitayu Banerjee (Arch. Math. Log., 2023)

Distinguishing colorings, proper colorings, and covering properties without AC. - Amitayu Banerjee; Zalán Molnár; Alexa Gopaulsingh (Ars Math. Contemp., 2024)

Upper Bounds for the List-Distinguishing Chromatic Number. - Amitayu Banerjee; Zalán Molnár; Alexa Gopaulsingh (Graphs Comb., 2025)